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 10009-10009 Barricade is a subclass of barrier
(termFormat ChineseTraditionalLanguage Barrier "屏障") domainEnglishFormat.kif 10008-10008 Barricade is a subclass of barrier
(termFormat EnglishLanguage Barrier "barrier") domainEnglishFormat.kif 10007-10007 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 7418-7425


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