No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14988-14989 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9372-9376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7165-7165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6662-6662 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7162-7162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7163-7163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7164-7164 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9371-9371 |
拉丁语 是 拉丁裔faliscan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14987-14987 |
拉丁语 是 自然语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
拉丁语 是 口语人类语言 的 instance |