No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14756-14756 |
O conceito LiquidMixture e' completamente decomposto em Solucao + Suspension |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1214-1214 |
Antifreeze e' uma sub-classe de Solucao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1708-1708 |
DieselFuel e' uma sub-classe de Solucao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1703-1703 |
Gasoline e' uma sub-classe de Solucao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8797-8797 |
SalineSolution e' uma sub-classe de Solucao |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 829-829 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 860-860 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 37-37 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2190-2190 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 42-42 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 72-72 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 41-41 |
|