No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8004-8005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6788-6788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7638-7638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7640-7640 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7641-7641 |
|
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. |
Mid-level-ontology.kif 8002-8002 |
Praying e' uma sub-classe de Processo Religioso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8003-8003 |
Praying e' uma sub-classe de Pedir |