NationalFlag |
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 13262-13263 | |
(subclass NationalFlag Flag) | Mid-level-ontology.kif 13261-13261 |
appearance as argument number 2 |
(termFormat ChineseLanguage NationalFlag "国旗") | domainEnglishFormat.kif 39819-39819 | |
(termFormat ChineseTraditionalLanguage NationalFlag "國旗") | domainEnglishFormat.kif 39818-39818 | |
(termFormat EnglishLanguage NationalFlag "national flag") | domainEnglishFormat.kif 39817-39817 |
antecedent |
(=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N)))) |
Mid-level-ontology.kif 13265-13270 |