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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TPFDDFile
TPFDDFile(TPFDD文件)

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


(documentation TPFDDFile EnglishLanguage "A file containing information about TPFDD") MilitaryProcesses.kif 1630-1630
(subclass TPFDDFile ReferenceBook) MilitaryProcesses.kif 1629-1629 TPFDD文件参考书subclass

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


(termFormat ChineseLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58608-58608
(termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58607-58607
(termFormat EnglishLanguage TPFDDFile "TPFDD file") domainEnglishFormat.kif 58606-58606
(termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") MilitaryProcesses.kif 2760-2760

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


(=>
    (instance ?FILE TPFDDFile)
    (and
        (containsInformation ?FILE ?TPFDD)
        (instance ?TPFDD TPFDD)))
MilitaryProcesses.kif 1632-1636

consequent
-------------------------


(=>
    (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)
    (exists (?CBO)
        (and
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1604-1609
(=>
    (instance ?OPLAN OPLAN)
    (exists (?CBO)
        (and
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?OPLAN))))
MilitaryProcesses.kif 1783-1788


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