No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1026-1026 |
Chairman publication is disjoint from joint doctrine |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1083-1083 |
Capstone is a subclass of joint doctrine |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1091-1091 |
Keystone is a subclass of joint doctrine |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31675-31675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31674-31674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31673-31673 |
|