| appearance as argument number 1 |
|
| (documentation politicalPartyOfCountry EnglishLanguage "(politicalPartyOfCountry ?PARTY ?AREA) means that the PoliticalParty ?PARTY participates in politics in the GeopoliticalArea ?AREA.") | Government.kif 2191-2193 | |
| (domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2187-2187 | The number 1 argument of political party of country is an instance of political party |
| (domain politicalPartyOfCountry 2 GeopoliticalArea) | Government.kif 2188-2188 | The number 2 argument of political party of country is an instance of geopolitical area |
| (instance politicalPartyOfCountry BinaryPredicate) | Government.kif 2186-2186 | political party of country is an instance of binary predicate |
| (subrelation politicalPartyOfCountry agentOperatesInArea) | Government.kif 2189-2189 | political party of country is a subrelation of agent operates in area |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage politicalPartyOfCountry "%2 %n 是 %1 的国家 political 派系") | domainEnglishFormat.kif 1983-1983 | |
| (format ChineseTraditionalLanguage politicalPartyOfCountry "%2 %n 是 %1 的國家 political 派系") | domainEnglishFormat.kif 1982-1982 | |
| (format EnglishLanguage politicalPartyOfCountry "%2 is %n a political party of country of %1") | domainEnglishFormat.kif 1981-1981 | |
| (termFormat ChineseLanguage politicalPartyOfCountry "国家政党") | domainEnglishFormat.kif 46514-46514 | |
| (termFormat ChineseTraditionalLanguage politicalPartyOfCountry "國家政黨") | domainEnglishFormat.kif 46513-46513 | |
| (termFormat EnglishLanguage politicalPartyOfCountry "political party of country") | domainEnglishFormat.kif 46512-46512 |
|
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