NationalFlag - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NationalFlag EnglishLanguage "A Flag that is the official flag of a Nation, e.g. the stars and stripes is the NationalFlag of the United States.")	Mid-level-ontology.kif 14159-14160
(subclass NationalFlag Flag)	Mid-level-ontology.kif 14158-14158	National flag is a subclass of flag

appearance as argument number 2

(termFormat ChineseLanguage NationalFlag "国旗")	domainEnglishFormat.kif 39849-39849
(termFormat ChineseTraditionalLanguage NationalFlag "國旗")	domainEnglishFormat.kif 39848-39848
(termFormat EnglishLanguage NationalFlag "national flag")	domainEnglishFormat.kif 39847-39847

antecedent

(=>
    (instance ?F NationalFlag)
    (exists (?N)
        (and
            (instance ?N Nation)
            (refers ?F ?N))))

Mid-level-ontology.kif 14162-14167