No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1084-1084 |
Capstone e' disjunto de Keystone |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1085-1088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5898-5898 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1082-1082 |
Capstone e' uma sub-classe de AboveTheLine |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1083-1083 |
Capstone e' uma sub-classe de JointDoctrine |