No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11521-11522 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4996-4996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4998-4998 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4997-4997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4747-4747 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11520-11520 |
Ivory is a subclass of bone |