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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Road
Road

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


(documentation Road EnglishLanguage "A path along which vehicles travel. It is typically, although not necessarily, paved and intended for cars.") Mid-level-ontology.kif 22219-22220
(externalImage Road "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Road_in_Norway-1.jpg") pictureList.kif 967-967
(subclass Road Region) Mid-level-ontology.kif 22217-22217 Road地域subclass では %n
(subclass Road Roadway) Mid-level-ontology.kif 22218-22218 RoadRoadwaysubclass では %n

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


(termFormat ChineseLanguage Road "路") domainEnglishFormat.kif 50180-50180
(termFormat ChineseTraditionalLanguage Road "路") domainEnglishFormat.kif 50179-50179
(termFormat EnglishLanguage Road "road") domainEnglishFormat.kif 50178-50178

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


(=>
    (instance ?X Road)
    (hasPurpose ?X
        (exists (?EV ?VEH)
            (and
                (instance ?EV Transportation)
                (eventLocated ?EV ?X)
                (instance ?VEH LandVehicle)
                (instrument ?EV ?VEH)))))
Mid-level-ontology.kif 22222-22230

consequent
-------------------------


(=>
    (instance ?X Checkpoint)
    (or
        (exists (?ROAD)
            (and
                (instance ?ROAD Road)
                (orientation ?ROAD ?X Near)))
        (exists (?REG1 ?REG2)
            (orientation
                (BorderFn ?REG1 ?REG2) ?X Near))))
Geography.kif 742-750


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