NationalFlag(national flag) | colors, colours |
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 13290-13291 | |
(subclass NationalFlag Flag) | Mid-level-ontology.kif 13289-13289 | National flag is a subclass of flag |
appearance as argument number 2 |
(termFormat ChineseLanguage NationalFlag "国旗") | domainEnglishFormat.kif 39821-39821 | |
(termFormat ChineseTraditionalLanguage NationalFlag "國旗") | domainEnglishFormat.kif 39820-39820 | |
(termFormat EnglishLanguage NationalFlag "national flag") | domainEnglishFormat.kif 39819-39819 |
antecedent |
(=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N)))) |
Mid-level-ontology.kif 13293-13298 |
|