No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8986-8987 |
|
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 31441-31441 |
roomTempState fallout and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8985-8985 |
Fallout is a subclass of powder |