Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

temporal part (temporalPart)

(temporalPart pos1 pos2) means that TimePosition pos1 is part of TimePosition pos2.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  binární predikát  
is instance of
nesymetrická relace
is instance of
is instance of
  temporal part  

Subrelation(s)

during 

Související termín(y)

back fn  cardinality fn  front fn  principal host fn  probability fn  skin fn  arc weight  attribute  authors  before or equal  causes  causes subclass  citizen  closed on  completely fills  connected  contains information  cooccur  copy  crosses  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  fills  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  immediate instance  immediate subclass  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  manner  material  measure  meets temporally  member  modal attribute  overlaps temporally  parent  partial ordering on  partially fills  partly located  path length  penetrates  possesses  precondition  prevents  proper part  properly fills  property  publishes  range  range subclass  realization  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  surface  time  total ordering on  trichotomizing on  uses  valence  version 

Typy argumentů

temporalPart(časová pozice, časová pozice)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (20)

Jestliže attr1 je an immediate successor attribute of attr2 a entity má atribut attr2 během time1, potom existuje time2 tak, že time2 je a part of před time1 a entity má atribut attr1 během time2. 
(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))
(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))
Jestliže point je instancí třídy okamžik, potom existuje časový interval interval tak, že point je a part of interval. 
(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))
Jestliže interval je instancí třídy časový interval, potom existuje okamžik point tak, že point je a part of interval. 
(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))
Jestliže situation platí během time1 a time2 je a part of time1, potom situation platí během time2. 
(=>
      (and
            (holdsDuring ?TIME1 ?SITUATION)
            (temporalPart ?TIME2 ?TIME1))
      (holdsDuring ?TIME2 ?SITUATION))
pos je a part of doba existence thing tehdy a jen tehdy pokud thing exists during pos. 
(<=>
      (temporalPart
            ?POS
            (WhenFn ?THING))
      (time ?THING ?POS))
(=>
      (equal
            (BeginFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?POINT ?OTHERPOINT))))
(=>
      (equal
            (EndFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?OTHERPOINT ?POINT))))
interval2 overlaps interval1 tehdy a jen tehdy pokud existuje časový interval interval3 tak, že interval3 je a part of interval1 a interval3 je a part of interval2. 
(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))
Jestliže "interval between point1 and point2" se rovná interval, potom pro všechny point platí: point je between or at point1 and point2 tehdy a jen tehdy pokud point je a part of interval. 
(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (forall
            (?POINT)
            (<=>
                  (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
                  (temporalPart ?POINT ?INTERVAL))))
Jestliže day1 je instancí třídy pondělí a day2 je instancí třídy úterý a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy úterý a day2 je instancí třídy středa a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy středa a day2 je instancí třídy čtvrtek a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy čtvrtek a day2 je instancí třídy pátek a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy pátek a day2 je instancí třídy sobota a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy sobota a day2 je instancí třídy neděle a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy neděle a day2 je instancí třídy pondělí a week1 je instancí třídy týren a week2 je instancí třídy týren a day1 je a part of week1 a day2 je a part of week2 a week1 meets week2, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))
(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME)
            (=>
                  (and
                        (instance ?TIME TimePoint)
                        (temporalPart ?TIME ?INTERVAL))
                  (exists
                        (?INSTANCE)
                        (and
                              (instance ?INSTANCE ?CLASS)
                              (temporalPart ?TIME ?INSTANCE))))))
(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))
Jestliže decode je instancí třídy dekódování a doc1 je účastníkem decode, potom existují encode,doc2,time tak, že doc2 contains information prop a doc1 contains information prop a time je a part of před doba existence decode a encode je instancí třídy kódování a doc2 je účastníkem encode během time. 
(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))