No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21628-21628 | 子類 Blood and 溶膠 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | 子類 Blood and BodySubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10258-10258 | 子類 血型a and Blood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10277-10277 | 子類 血型b and Blood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10295-10295 | 子類 血型b and Blood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10314-10314 | 子類 血型o and Blood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10512-10512 | 子類 Clot and Blood |