NationalFlag - Sigma Knowledge base Browser

appearance as argument number 1

(subclass NationalFlag Flag)	Mid-level-ontology.kif 14826-14826	National flag is a subclass of flag
(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 14827-14828	National flag is a subclass of flag

appearance as argument number 2

(termFormat EnglishLanguage NationalFlag "national flag")	domainEnglishFormat.kif 39823-39823
(termFormat ChineseTraditionalLanguage NationalFlag "國旗")	domainEnglishFormat.kif 39824-39824
(termFormat ChineseLanguage NationalFlag "国旗")	domainEnglishFormat.kif 39825-39825

antecedent

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

If X is an instance of national flag, then there exists Y such that Y is an instance of nation and X includes a reference to Y