No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5346-5346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11769-11769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11770-11770 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11773-11773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10236-10236 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11772-11772 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5345-5345 |
Rug is a subclass of fabric |