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 |
Latin language is an instance of latino faliscan language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14987-14987 |
Latin language is an instance of natural language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
Latin language is an instance of spoken human language |