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 |
子類 祈禱 and ReligiousProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8003-8003 |
子類 祈禱 and Requesting |