No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15011-15011 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8546-8581 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3112-3112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3114-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2961-2961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3111-3111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3113-3113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3110-3110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3109-3109 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8545-8545 |
希腊语 是 阁楼希腊语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15010-15010 |
希腊语 是 自然语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15009-15009 |
希腊语 是 口语人类语言 的 instance |