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

Formal Language: 

KB Term:  Term intersection
English Word: 



appearance as argument number 1

(documentation CONPLAN EnglishLanguage "An operation plan in an abbreviated format that would require considerable expansion or alteration to convert it into an OPLAN or OPORD. A CONPLAN contains the combatant commander's strategic concept and those annexes and appendixes deemed necessary by the combatant commander to complete planning. Generally, detailed support requirements are not calculated and TPFDD files are not prepared.") MilitaryProcesses.kif 1608-1614
(subclass CONPLAN OperationPlan) MilitaryProcesses.kif 1606-1606 破产运作计划subclass

appearance as argument number 2

(disjoint OPLAN CONPLAN) MilitaryProcesses.kif 1607-1607 OPLAN 和 % 2 是 disjoint
(subclass CONPLANwithTPFDD CONPLAN) MilitaryProcesses.kif 1616-1616 和 TPFDD 破产破产subclass
(termFormat ChineseLanguage CONPLAN "破产") domainEnglishFormat.kif 16671-16671
(termFormat ChineseTraditionalLanguage CONPLAN "破產") domainEnglishFormat.kif 16670-16670
(termFormat EnglishLanguage CONPLAN "CONPLAN") domainEnglishFormat.kif 16669-16669

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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