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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paved
Paved(paved)caliche-topped, made-up, paved, sealed

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


(contraryAttribute Paved Unpaved) Mid-level-ontology.kif 12805-12805 Paved is the opposite of unpaved
(instance Paved Attribute) Mid-level-ontology.kif 12803-12803 Paved is an instance of attribute

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


(termFormat ChineseLanguage Paved "铺砌") domainEnglishFormat.kif 44731-44731
(termFormat ChineseTraditionalLanguage Paved "鋪砌") domainEnglishFormat.kif 44730-44730
(termFormat EnglishLanguage Paved "paved") domainEnglishFormat.kif 44729-44729

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


(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))
Mid-level-ontology.kif 24795-24804
(=>
    (instance ?aR SurfacedRoadway)
    (attribute ?aR Paved))
Transportation.kif 620-622


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners