TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Barrier StationaryArtifact)	Mid-level-ontology.kif 7957-7957	Barrier is a subclass of stationary artifact
(documentation Barrier EnglishLanguage "WN: a structure or object that impedes free movement")	Mid-level-ontology.kif 7958-7959	Barrier is a subclass of stationary artifact
(externalImage Barrier "http://articulatesoftware.com/SUMOpictures/transportation/ Black_n_White/ BARRIER.png")	pictureList.kif 260-260	Barrier is a subclass of stationary artifact

appearance as argument number 2

(subclass Barricade Barrier)	MilitaryDevices.kif 2167-2167	Barricade is a subclass of barrier
(termFormat EnglishLanguage Barrier "barrier")	domainEnglishFormat.kif 10000-10000	Barricade is a subclass of barrier
(termFormat ChineseTraditionalLanguage Barrier "屏障")	domainEnglishFormat.kif 10001-10001	Barricade is a subclass of barrier
(termFormat ChineseLanguage Barrier "屏障")	domainEnglishFormat.kif 10002-10002	Barricade is a subclass of barrier

consequent

(=>
    (and
        (instance ?F Facility)
        (attribute ?F PhysicallyRestrictedRegion))
    (exists (?B)
        (and
            (instance ?B Barrier)
            (orientation ?F ?B Surrounded))))