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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CONPLANwithTPFDD

Sigma KEE - CONPLANwithTPFDD
CONPLANwithTPFDD(和 TPFDD 破产)

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 1617-1619
(subclass CONPLANwithTPFDD CONPLAN) MilitaryProcesses.kif 1616-1616 和 TPFDD 破产破产subclass

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


(termFormat ChineseLanguage CONPLANwithTPFDD "和 TPFDD 破产") domainEnglishFormat.kif 16677-16677
(termFormat ChineseTraditionalLanguage CONPLANwithTPFDD "和 TPFDD 破產") domainEnglishFormat.kif 16676-16676
(termFormat EnglishLanguage CONPLANwithTPFDD "CONPLAN with TPFDD") domainEnglishFormat.kif 16675-16675

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


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


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