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 |
例 拉丁語 and 拉丁裔faliscan語言 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14987-14987 |
例 拉丁語 and NaturalLanguage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
例 拉丁語 and 口語人類語言 |