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 CONPLAN is a subclass of operation plan

appearance as argument number 2

(disjoint OPLAN CONPLAN) MilitaryProcesses.kif 1588-1588 OPLAN is disjoint from CONPLAN
(subclass CONPLANwithTPFDD CONPLAN) MilitaryProcesses.kif 1597-1597 CONPLAN with TPFDD is a subclass of CONPLAN
(termFormat ChineseLanguage CONPLAN "破产") domainEnglishFormat.kif 16603-16603
(termFormat ChineseTraditionalLanguage CONPLAN "破產") domainEnglishFormat.kif 16602-16602
(termFormat EnglishLanguage CONPLAN "CONPLAN") domainEnglishFormat.kif 16601-16601

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