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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CONPLANwithTPFDD
CONPLANwithTPFDD

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


(documentation CONPLANwithTPFDD EnglishLanguage "A CONPLAN with TPFDD is the same as a CONPLAN except that it requires more detailed planning for phased deployment of forces. Also called CONPLAN.") MilitaryProcesses.kif 1585-1587
(subclass CONPLANwithTPFDD CONPLAN) MilitaryProcesses.kif 1584-1584 CONPLANwithTPFDDCONPLANsubclass では %n

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


(termFormat ChineseLanguage CONPLANwithTPFDD "和 TPFDD 破产") domainEnglishFormat.kif 16615-16615 termFormat ChineseLanguage, CONPLANwithTPFDD and "和 TPFDD 破产"
(termFormat ChineseTraditionalLanguage CONPLANwithTPFDD "和 TPFDD 破產") domainEnglishFormat.kif 16614-16614 termFormat ChineseTraditionalLanguage, CONPLANwithTPFDD and "和 TPFDD 破產"
(termFormat EnglishLanguage CONPLANwithTPFDD "CONPLAN with TPFDD") domainEnglishFormat.kif 16613-16613 termFormat EnglishLanguage, CONPLANwithTPFDD and "CONPLAN with TPFDD"

antecedent
-------------------------


(=>
    (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)
    (exists (?CBO)
        (and
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1591-1596


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners