No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11522-11523 |
|
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 11521-11521 |
Ivory e' uma sub-classe de Osso |