| 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 13481-13482 | |
| (subclass NationalFlag Flag) | Mid-level-ontology.kif 13480-13480 | National flag is a subclass of flag |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NationalFlag "国旗") | domainEnglishFormat.kif 39857-39857 | |
| (termFormat ChineseTraditionalLanguage NationalFlag "國旗") | domainEnglishFormat.kif 39856-39856 | |
| (termFormat EnglishLanguage NationalFlag "national flag") | domainEnglishFormat.kif 39855-39855 |
| antecedent |
|
|
| (=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N)))) |
Mid-level-ontology.kif 13484-13489 |
|
|
|
|