No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13807 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | 子類 PureSubstance and Substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 514-514 | 子類 親水性脂質頭 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 525-525 | 子類 疏水脂質尾 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21665-21665 | 子類 離子 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | 子類 ElementalSubstance and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | 子類 CompoundSubstance and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2647-2647 | 子類 落葉 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | 子類 溫室氣體 and PureSubstance |