No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1536-1536 |
EnglishLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14972-14972 |
FrenchLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14977-14977 |
GermanLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
GreekLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
LatinLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14991-14991 |
RussianLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14995-14995 |
SpanishLanguage e' uma instancia de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1447-1447 |
O conceito Linguagem Humana e' completamente decomposto em Linguagem Natural + Lingagem Construida |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14594-14594 |
ChineseLanguage e' uma sub-classe de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12647-12647 |
LanguageFamily e' uma sub-classe de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 845-845 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 892-892 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2206-2206 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 473-473 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 542-542 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 56-56 |
|