| appearance as argument number 1 |
|
| (documentation MultinationalDoctrine EnglishLanguage "Fundamental principles that guide the employment of forces of two or more nations in coordinated action toward a common objective. It is ratified by participating nations.") | MilitaryProcesses.kif 1000-1003 | |
| (subclass MultinationalDoctrine Doctrine) | MilitaryProcesses.kif 999-999 | 子類 多國主義 and 教義 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MultinationalDoctrine "多国主义") | domainEnglishFormat.kif 39161-39161 | |
| (termFormat ChineseTraditionalLanguage MultinationalDoctrine "多國主義") | domainEnglishFormat.kif 39160-39160 | |
| (termFormat EnglishLanguage MultinationalDoctrine "multinational doctrine") | domainEnglishFormat.kif 39159-39159 |
| antecedent |
|
|
| (=> (instance ?PUB MultinationalDoctrine) (exists (?NATION1 ?NATION2) (and (agent ?PUB ?NATION1) (agent ?PUB ?NATION2) (instance ?NATION1 Nation) (instance ?NATION2 Nation) (not (equal ?NATION1 ?NATION2))))) |
MilitaryProcesses.kif 1006-1015 |
|
|
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