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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - TPFDDFile

appearance as argument number 1

(documentation TPFDDFile EnglishLanguage "A file containing information about TPFDD") MilitaryProcesses.kif 1649-1649
(subclass TPFDDFile ReferenceBook) MilitaryProcesses.kif 1648-1648 TPFDD file is a subclass of reference book

appearance as argument number 2

(termFormat ChineseLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58706-58706
(termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") domainEnglishFormat.kif 58705-58705
(termFormat EnglishLanguage TPFDDFile "TPFDD file") domainEnglishFormat.kif 58704-58704
(termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") MilitaryProcesses.kif 2804-2804


    (instance ?FILE TPFDDFile)
        (containsInformation ?FILE ?TPFDD)
        (instance ?TPFDD TPFDD)))
MilitaryProcesses.kif 1651-1655


    (instance ?CONPLANwithTPFDD CONPLANwithTPFDD)
    (exists (?CBO)
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?CONPLANwithTPFDD))))
MilitaryProcesses.kif 1623-1628
    (instance ?OPLAN OPLAN)
    (exists (?CBO)
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?OPLAN))))
MilitaryProcesses.kif 1802-1807

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