No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14984-14984 |
|
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 14983-14983 |
希腊语 是 自然语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
希腊语 是 口语人类语言 的 instance |