No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19839-19841 |
|
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 19838-19838 |
Pregnant is an instance of biological attribute |