No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 955-955 |
AboveTheLine e' uma sub-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 973-973 |
BelowTheLine e' uma sub-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1017-1017 |
JointDoctrine e' uma sub-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1099-1099 |
JointTest e' uma sub-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31729-31729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31728-31728 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2766-2766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31727-31727 |
|