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 1589-1595
(subclass CONPLAN OperationPlan) MilitaryProcesses.kif 1587-1587 破产运作计划subclass

appearance as argument number 2

(disjoint OPLAN CONPLAN) MilitaryProcesses.kif 1588-1588 OPLAN 和 % 2 是 disjoint
(subclass CONPLANwithTPFDD CONPLAN) MilitaryProcesses.kif 1597-1597 和 TPFDD 破产破产subclass
(termFormat ChineseLanguage CONPLAN "破产") domainEnglishFormat.kif 16612-16612
(termFormat ChineseTraditionalLanguage CONPLAN "破產") domainEnglishFormat.kif 16611-16611
(termFormat EnglishLanguage CONPLAN "CONPLAN") domainEnglishFormat.kif 16610-16610

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