Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RunningTrack
RunningTrack

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


(documentation RunningTrack EnglishLanguage "RunningTrack is a StationaryArtifact which serves as a path for people running") Mid-level-ontology.kif 23762-23763
(subclass RunningTrack LandTransitway) Mid-level-ontology.kif 23761-23761
(subclass RunningTrack StationaryArtifact) Mid-level-ontology.kif 23760-23760

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


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

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 23766-23774


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners