| 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 2194-2196 | |
| (domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2190-2190 | The number 1 argument of political party of country is an instance of political party |
| (domain politicalPartyOfCountry 2 GeopoliticalArea) | Government.kif 2191-2191 | The number 2 argument of political party of country is an instance of geopolitical area |
| (instance politicalPartyOfCountry BinaryPredicate) | Government.kif 2189-2189 | political party of country is an instance of binary predicate |
| (subrelation politicalPartyOfCountry agentOperatesInArea) | Government.kif 2192-2192 | 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 1979-1979 | |
| (format ChineseTraditionalLanguage politicalPartyOfCountry "%2 %n 是 %1 的國家 political 派系") | domainEnglishFormat.kif 1978-1978 | |
| (format EnglishLanguage politicalPartyOfCountry "%2 is %n a political party of country of %1") | domainEnglishFormat.kif 1977-1977 | |
| (termFormat ChineseLanguage politicalPartyOfCountry "国家政党") | domainEnglishFormat.kif 46551-46551 | |
| (termFormat ChineseTraditionalLanguage politicalPartyOfCountry "國家政黨") | domainEnglishFormat.kif 46550-46550 | |
| (termFormat EnglishLanguage politicalPartyOfCountry "political party of country") | domainEnglishFormat.kif 46549-46549 |
|
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