No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8032-8033 |
|
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 8030-8030 |
Praying est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8031-8031 |
Praying est une sous-classe de demander |