No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11549-11550 |
|
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 11548-11548 |
Ivory est une sous-classe de os |