Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  RunningTrack

 Sigma KEE - RunningTrack
RunningTrack(running track)racecourse, racetrack, raceway, track

appearance as argument number 1
-------------------------


(subclass RunningTrack StationaryArtifact) Mid-level-ontology.kif 28368-28368 Running track is a subclass of stationary artifact
(subclass RunningTrack LandTransitway) Mid-level-ontology.kif 28369-28369 Running track is a subclass of land transitway
(documentation RunningTrack EnglishLanguage "RunningTrack is a StationaryArtifact which serves as a path for people running") Mid-level-ontology.kif 28370-28371 Running track is a subclass of land transitway

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage RunningTrack "running track") Mid-level-ontology.kif 28372-28372

antecedent
-------------------------


(=>
    (instance ?TRACK RunningTrack)
    (hasPurpose ?TRACK
        (exists (?RUN ?HUMAN)
            (and
                (instance ?HUMAN Human)
                (instance ?RUN Running)
                (agent ?RUN ?HUMAN)
                (path ?RUN ?TRACK)))))		 Mid-level-ontology.kif 28374-28382 If X is an instance of running track, then X has the purpose there exist Y, Z such that Z is an instance of human, Y is an instance of running, Z is an agent of Y, and X is path along which Y occurs


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners