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 |
例 希臘語 and 閣樓希臘語言 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14983-14983 |
例 希臘語 and NaturalLanguage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
例 希臘語 and 口語人類語言 |