No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1606-1606 |
CONPLAN e' uma sub-classe de OperationPlan |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2076-2076 |
CounterTerrorismStrategy e' uma sub-classe de OperationPlan |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1782-1782 |
OPLAN e' uma sub-classe de OperationPlan |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42270-42270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42269-42269 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42268-42268 |
|