No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21427-21429 |
|
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 6789-6789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7642-7642 |
|
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 7646-7646 |
|
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 7647-7647 |
|
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. |
Mid-level-ontology.kif 21426-21426 |
Pregnant is an instance of biological attribute |