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 |
Greek language is an instance of attic greek language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14983-14983 |
Greek language is an instance of natural language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
Greek language is an instance of spoken human language |