Road - Sigma Knowledge base Browser

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 23851-23852
(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 23849-23849	Road is a subclass of region
(subclass Road Roadway)	Mid-level-ontology.kif 23850-23850	Road is a subclass of roadway

appearance as argument number 2

(termFormat ChineseLanguage Road "路")	domainEnglishFormat.kif 50183-50183
(termFormat ChineseTraditionalLanguage Road "路")	domainEnglishFormat.kif 50182-50182
(termFormat EnglishLanguage Road "road")	domainEnglishFormat.kif 50181-50181

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 23854-23862

If a physical is an instance of road,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the entity is located at the physical and the other entity is an instance of land vehicle and the other entity is an instrument for the entity

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 2141-2149

If an object is an instance of checkpoint,
then there exists another object such that the other object is an instance of road and the other object is near to the object or there exist a geographic area and another geographic area such that the border of the geographic area and the other geographic area is near to the object

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

KB Term:			Term intersection

English Word: