No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8005-8006 |
|
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 8003-8003 |
Praying is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8004-8004 |
Praying is a subclass of requesting |