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 |
祈祷 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8004-8004 |
祈祷 是 要求 的 subclass |