No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1042-1042 |
Substance is exhaustively partitioned into pure substance and mixture |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1173-1173 |
Compound substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2647-2647 |
Defoliant is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1093-1093 |
Elemental substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2735-2735 |
Greenhouse gas is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 514-514 |
Hydrophilic lipid head is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 525-525 |
Hydrophobic lipid tail is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21665-21665 |
Ion is a subclass of pure substance |
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 |
|