No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1607-1607 |
OPLAN is disjoint from CONPLAN |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1616-1616 |
CONPLAN with TPFDD is a subclass of CONPLAN |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16680-16680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16679-16679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16678-16678 |
|