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