| appearance as argument number 1 |
|
| (documentation flagDescription EnglishLanguage "(flagDescription ?AREA ?DESCRIPTION) means that the SymbolicString ?DESCRIPTION is a verbal description of the flag of the GeopoliticalArea ?AREA.") | Government.kif 4744-4746 | |
| (domain flagDescription 1 GeopoliticalArea) | Government.kif 4741-4741 | The number 1 argument of flag description is an instance of geopolitical area |
| (domain flagDescription 2 SymbolicString) | Government.kif 4742-4742 | The number 2 argument of flag description is an instance of symbolic string |
| (instance flagDescription BinaryPredicate) | Government.kif 4740-4740 | flag description is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage flagDescription "%2 %n 是 %1 的 flag 苗素") | domainEnglishFormat.kif 1041-1041 | |
| (format ChineseTraditionalLanguage flagDescription "%2 %n 是 %1 的 flag 苗素") | domainEnglishFormat.kif 1040-1040 | |
| (format EnglishLanguage flagDescription "%2 is %n a flag description of %1") | domainEnglishFormat.kif 1039-1039 | |
| (termFormat ChineseLanguage flagDescription "国旗描述") | domainEnglishFormat.kif 24162-24162 | |
| (termFormat ChineseTraditionalLanguage flagDescription "國旗描述") | domainEnglishFormat.kif 24161-24161 | |
| (termFormat EnglishLanguage flagDescription "flag description") | domainEnglishFormat.kif 24160-24160 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners