No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1042-1042 |
O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1173-1173 |
Substancia Composta e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2647-2647 |
Defoliant e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1093-1093 |
Substancia Elementar e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2735-2735 |
GreenhouseGas e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 513-513 |
HydrophilicLipidHead e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 524-524 |
HydrophobicLipidTail e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21692-21692 |
Ion e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 818-818 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 494-494 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 27-27 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 30-30 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2179-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 31-31 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 61-61 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 515-515 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 31-31 |
|