TPFDDFile(TPFDD file) |
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 58750-58750 | |
(termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") | domainEnglishFormat.kif 58749-58749 | |
(termFormat EnglishLanguage TPFDDFile "TPFDD file") | domainEnglishFormat.kif 58748-58748 | |
(termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") | MilitaryProcesses.kif 2994-2994 |
antecedent |
(=> (instance ?FILE TPFDDFile) (and (containsInformation ?FILE ?TPFDD) (instance ?TPFDD TPFDD))) |
MilitaryProcesses.kif 1651-1655 |
|
consequent |
(=> (instance ?CONPLANwithTPFDD CONPLANwithTPFDD) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?CONPLANwithTPFDD)))) |
MilitaryProcesses.kif 1623-1628 |
|
(=> (instance ?OPLAN OPLAN) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?OPLAN)))) |
MilitaryProcesses.kif 1802-1807 |
|