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

where fn (WhereFn)

Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  binární funkce  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
is instance of
  where fn  

Související termín(y)

addition fn  back fn  day fn  density fn  division fn  edition fn  exponentiation fn  front fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  principal host fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  skin fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  between  connected  connects  distance  hole  larger  orientation  part  partially fills  partly located  smaller  traverses 

Typy argumentů

oblast WhereFn(fyzický objekt, okamžik)

Axiomy (5)

where fn je internally related to when fn. 
(relatedInternalConcept WhereFn WhenFn)
"místo kde thing byl v čase time" se rovná region tehdy a jen tehdy pokud thing je přesně umístěn v region během time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))
Jestliže process začíná v obj, potom "místo kde process byl v čase the beginning of doba existence process" je located at "místo kde obj byl v čase the beginning of doba existence obj". 
(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))
Jestliže rel je instancí třídy case role a rel(process,obj) holds, potom existuje time tak, že "místo kde process byl v čase time" se překrývá s obj. 
(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))
(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))