| 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 | TPFDDFile est une sous-classe de ReferenceBook |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TPFDDFile "TPFDD文件") | domainEnglishFormat.kif 58708-58708 | |
| (termFormat ChineseTraditionalLanguage TPFDDFile "TPFDD文件") | domainEnglishFormat.kif 58707-58707 | |
| (termFormat EnglishLanguage TPFDDFile "TPFDD file") | domainEnglishFormat.kif 58706-58706 | |
| (termFormat EnglishLanguage TPFDDFile "time-phased force and deployment data file") | MilitaryProcesses.kif 2855-2855 |
| 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 |
|
|
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