|
|
   ChairmanPublication
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | ChairmanPublication e' disjunto de JointDoctrine |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1028-1029 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2653-2653 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | O conceito ChairmanPublication e' completamente decomposto em ChairmanInstruction + ChairmanManual |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | ChairmanPublication e' uma sub-classe de Texto |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1055-1055 | ChairmanInstruction e' uma sub-classe de ChairmanPublication |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1067-1067 | ChairmanManual e' uma sub-classe de ChairmanPublication |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14052-14052 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14051-14051 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14050-14050 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1034-1041 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1046-1053 |
|
|
|
|
