TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Flag Icon)	Mid-level-ontology.kif 14815-14815	Flag is a subclass of icon
(documentation Flag EnglishLanguage "An Icon made of Fabric that refers to a particular GeopoliticalArea.")	Mid-level-ontology.kif 14816-14817	Flag is a subclass of icon
(externalImage Flag "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Flag_of_the_United_Nations.svg")	pictureList.kif 94-94	Flag is a subclass of icon
(externalImage Flag "http://articulatesoftware.com/SUMOpictures/holiday/ stPats/ FLAG2.png")	pictureList.kif 436-436	Flag is a subclass of icon

appearance as argument number 2

(subclass NationalFlag Flag)	Mid-level-ontology.kif 14826-14826	National flag is a subclass of flag
(termFormat EnglishLanguage Flag "flag")	domainEnglishFormat.kif 24130-24130	National flag is a subclass of flag
(termFormat ChineseTraditionalLanguage Flag "旗")	domainEnglishFormat.kif 24131-24131	National flag is a subclass of flag
(termFormat ChineseLanguage Flag "旗")	domainEnglishFormat.kif 24132-24132	National flag is a subclass of flag

antecedent

(=>
    (instance ?FLAG Flag)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?FLAG))))

If X is an instance of flag, then there exists Y such that Y is an instance of fabric and Y is a part of X