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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Barrier
Barrier(barrier)
barrier, blood-brain_barrier

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


(documentation Barrier EnglishLanguage "WN: a structure or object that impedes free movement") MilitaryDevices.kif 1998-1999
(externalImage Barrier "http://articulatesoftware.com/SUMOpictures/transportation/ Black_n_White/ BARRIER.png") pictureList.kif 260-260
(subclass Barrier StationaryArtifact) MilitaryDevices.kif 1997-1997 Barrier is a subclass of stationary artifact

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


(subclass Barricade Barrier) MilitaryDevices.kif 2014-2014 Barricade is a subclass of barrier
(termFormat ChineseLanguage Barrier "屏障") domainEnglishFormat.kif 10010-10010 Barricade is a subclass of barrier
(termFormat ChineseTraditionalLanguage Barrier "屏障") domainEnglishFormat.kif 10009-10009 Barricade is a subclass of barrier
(termFormat EnglishLanguage Barrier "barrier") domainEnglishFormat.kif 10008-10008 Barricade is a subclass of barrier

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


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


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