No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14732-14732 |
LiquidMixture est compl�tement d�compos� en solution + Suspension |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1214-1214 |
Antifreeze est une sous-classe de solution |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1715-1715 |
DieselFuel est une sous-classe de solution |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1710-1710 |
Gasoline est une sous-classe de solution |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8769-8769 |
SalineSolution est une sous-classe de solution |
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 |
|