No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | ChairmanPublication est une sous-classe de texte |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1055-1055 | ChairmanInstruction est une sous-classe de ChairmanPublication |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1067-1067 | ChairmanManual est une sous-classe de ChairmanPublication |