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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TPFDDFile
TPFDDFile

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


(documentation TPFDDFile EnglishLanguage "A file containing information about TPFDD") MilitaryProcesses.kif 1617-1617
(subclass TPFDDFile ReferenceBook) MilitaryProcesses.kif 1616-1616 TPFDDFileReferenceBooksubclass では %n

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


(termFormat ChineseLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58645-58645 termFormat ChineseLanguage, TPFDDFile and "TPFDD文件"
(termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58644-58644 termFormat ChineseTraditionalLanguage, TPFDDFile and "TPFDD文件"
(termFormat EnglishLanguage TPFDDFile "TPFDD file") domainEnglishFormat.kif 58643-58643 termFormat EnglishLanguage, TPFDDFile and "TPFDD file"
(termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") MilitaryProcesses.kif 2747-2747 termFormat EnglishLanguage, TPFDDFile and "time-phased force and deployment data file"

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


(=>
    (instance ?FILE TPFDDFile)
    (and
        (containsInformation ?FILE ?TPFDD)
        (instance ?TPFDD TPFDD)))
MilitaryProcesses.kif 1619-1623

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


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


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