No TPTP formula. May not be expressible in strict first order. |
Military.kif 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4932-4932 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5062-5062 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5063-5063 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5061-5061 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5064-5064 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5060-5060 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 205-205 |
Military supply truck is a subclass of military support vehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 206-206 |
Military supply truck is a subclass of truck |