Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Doctrine
Doctrine(doctrine)

appearance as argument number 1
-------------------------


(subclass Doctrine Text) MilitaryProcesses.kif 1012-1012 Doctrine is a subclass of text
(documentation Doctrine EnglishLanguage "Fundamental principles by which the military forces or elements thereof guide their actions in support of national objectives. It is authoritative but requires judgment in application.") MilitaryProcesses.kif 1013-1016 Doctrine is a subclass of text

appearance as argument number 2
-------------------------


(subclass MultinationalDoctrine Doctrine) MilitaryProcesses.kif 1018-1018 Multinational doctrine is a subclass of doctrine
(subclass JointDoctrine Doctrine) MilitaryProcesses.kif 1037-1037 Joint doctrine is a subclass of doctrine
(termFormat EnglishLanguage Doctrine "doctrine") domainEnglishFormat.kif 20046-20046 Joint doctrine is a subclass of doctrine
(termFormat ChineseTraditionalLanguage Doctrine "教義") domainEnglishFormat.kif 20047-20047 Joint doctrine is a subclass of doctrine
(termFormat ChineseLanguage Doctrine "教义") domainEnglishFormat.kif 20048-20048 Joint doctrine is a subclass of doctrine


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