No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7517-7518 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10558-10558 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10556-10556 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9917-9917 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10557-10557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7516-7516 |
Brood est une sous-classe de GroupOfAnimals |