| 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 13290-13291 | |
| (subclass NationalFlag Flag) | Mid-level-ontology.kif 13289-13289 |
| 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 |
|
|
|