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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Road

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 地区subclass
(subclass Road Roadway) Mid-level-ontology.kif 22218-22218 巷道subclass

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 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 is open source software produced by Articulate Software and its partners