Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

where fn (WhereFn)

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

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  FunzioneBinaria  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  RelazioneSpaziale  
is instance of
is instance of
  where fn  

Coordinate term(s)

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 

Type restrictions

Regione WhereFn(EntitáConcreta, PuntoTemporale)

Axioms (5)

where fn é interamente correlato a when fn. 
(relatedInternalConcept WhereFn WhenFn)
"il luogo dove thing era in time" is uguale a region se e solo se "thing é esattamente localizzato in region" vales durante time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))
Se process si originas in obj, allora "il luogo dove process era in "l' inizio di "il tempo di esistenza di process""" é localizzato in "il luogo dove obj era in "l' inizio di "il tempo di esistenza di obj""". 
(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))
Se rel é un' istanza di RuoloSemantico e rel(process,obj vales, allora esiste time tale che "il luogo dove process era in time" si sovrappones a 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)))))