No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8958-8959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10013-10013 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10989-10989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10990-10990 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10991-10991 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31405-31405 |
roomTempState fallout and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8957-8957 |
Fallout is a subclass of powder |