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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Barrier
Barrier

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


(documentation Barrier EnglishLanguage "WN: a structure or object that impedes free movement") MilitaryDevices.kif 2155-2156
(externalImage Barrier "http://articulatesoftware.com/SUMOpictures/transportation/ Black_n_White/ BARRIER.png") pictureList.kif 260-260
(subclass Barrier StationaryArtifact) MilitaryDevices.kif 2154-2154 Barrier est une sous-classe de artefact stationnaire

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


(subclass Barricade Barrier) MilitaryDevices.kif 2171-2171 Barricade est une sous-classe de Barrier
(termFormat ChineseLanguage Barrier "屏障") domainEnglishFormat.kif 10003-10003 Barricade est une sous-classe de Barrier
(termFormat ChineseTraditionalLanguage Barrier "屏障") domainEnglishFormat.kif 10002-10002 Barricade est une sous-classe de Barrier
(termFormat EnglishLanguage Barrier "barrier") domainEnglishFormat.kif 10001-10001 Barricade est une sous-classe de Barrier

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


(=>
    (and
        (instance ?F Facility)
        (attribute ?F PhysicallyRestrictedRegion))
    (exists (?B)
        (and
            (instance ?B Barrier)
            (orientation ?F ?B Surrounded))))
Mid-level-ontology.kif 7806-7813


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