Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

WoFn (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)

Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Funktion  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  räumliche Relation  
is instance of
is instance of
  WoFn  

Coordinate term(s)

AdditionFn  RückseiteFn  TagFn  DichteFn  DivisionFn  AusgabeFn  ExponentiationFn  FrontseiteFn  GraphPfadFn  StundeFn  DurchschnittFn  AbstandFn  KappaFn  ListeVerkettenFn  ListeOrdnungFn  LogarithmusFn  MaximumFn  MaximalerBelasteterPfadFn  MassFn  MereologischeDifferenzFn  MereologischesProduktFn  MereologischeSummeFn  MinumumFn  MinimalerBelasteterPfadFn  MinuteFn  MonatFn  MultiplikationFn  PeriodikumAusgabeFn  HauptwirtFn  RückläufigeZeitAbstandFn  RelativeErgänzungFn  RelativeZeitFn  RestFn  SekundFn  ReiheBandeFn  OberflächeFn  GeschwindigkeitFn  SubtraktionFn  ZeitlicheAufbauFn  ZeitabstandFn  VereinigungFn  zwischen  angeschlossen  schliesstAn  abstand  loch  grösser  lagebestimmung  teil  fülltTeilweise  befindetSichTeils  kleiner  überqürt 

Type restrictions

Gebiet WhereFn(körperlicher Gegenstand, Zeitpunkt)

Axioms (5)

WoFn ist innerlich verwandt mit WennFn . 
(relatedInternalConcept WhereFn WhenFn)
"die Stelle wo thing an time war" ist gleich region nur wenn "thing liegtGenau in region " hält während time . 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))
Wenn process beginnet an obj , dann "die Stelle wo process an "der anfang von "die zeit des Bestehens von process"" war" befindet sich an . 
(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))
Wenn rel ist ein fall von Fallrolle und rel(process,obj) gilt , dann es gibt ein time der "die Stelle wo process an time war" deckt sich mit obj räumlich . 
(=>
      (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)))))