No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19867-19869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7645-7645 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6790-6790 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7643-7643 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7646-7646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7647-7647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7644-7644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7648-7648 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7649-7649 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19866-19866 |
Pregnant is an instance of biological attribute |