Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TPFDDFile(TPFDD file) |
| appearance as argument number 1 |
|
| (subclass TPFDDFile ReferenceBook) | MilitaryProcesses.kif 1670-1670 | TPFDD file is a subclass of reference book |
| (documentation TPFDDFile EnglishLanguage "A file containing information about TPFDD") | MilitaryProcesses.kif 1671-1671 | TPFDD file is a subclass of reference book |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") | MilitaryProcesses.kif 3018-3018 | |
| (termFormat EnglishLanguage TPFDDFile "TPFDD file") | domainEnglishFormat.kif 58705-58705 | |
| (termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") | domainEnglishFormat.kif 58706-58706 | |
| (termFormat ChineseLanguage TPFDDFile "TPFDD文件") | domainEnglishFormat.kif 58707-58707 |
| antecedent |
|
|
| (=> (instance ?FILE TPFDDFile) (and (containsInformation ?FILE ?TPFDD) (instance ?TPFDD TPFDD))) |
MilitaryProcesses.kif 1673-1677 | If X is an instance of TPFDD file, then X contains information Y and Y is an instance of TPFDD |
| consequent |
|
|
| (=> (instance ?CONPLANwithTPFDD CONPLANwithTPFDD) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?CONPLANwithTPFDD)))) |
MilitaryProcesses.kif 1645-1650 | If X is an instance of CONPLAN with TPFDD, then there exists Y such that Y is an instance of TPFDD file and Y contains information X |
| (=> (instance ?OPLAN OPLAN) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?OPLAN)))) |
MilitaryProcesses.kif 1824-1829 | If X is an instance of OPLAN, then there exists Y such that Y is an instance of TPFDD file and Y contains information X |
|