| 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 4742-4744 | |
| (domain flagDescription 1 GeopoliticalArea) | Government.kif 4739-4739 | The number 1 argument of flag description is an instance of geopolitical area |
| (domain flagDescription 2 SymbolicString) | Government.kif 4740-4740 | The number 2 argument of flag description is an instance of symbolic string |
| (instance flagDescription BinaryPredicate) | Government.kif 4738-4738 | 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 24156-24156 | |
| (termFormat ChineseTraditionalLanguage flagDescription "國旗描述") | domainEnglishFormat.kif 24155-24155 | |
| (termFormat EnglishLanguage flagDescription "flag description") | domainEnglishFormat.kif 24154-24154 |
|
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