| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21628-21628 | Blood is a subclass of sol mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | Blood is a subclass of body substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10258-10258 | Blood type a is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10277-10277 | Blood typeA b is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10295-10295 | Blood type b is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10314-10314 | Blood type o is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10512-10512 | Clot is a subclass of blood |
|
|