| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21627-21627 | Blood is a subclass of sol mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14875-14875 | Blood is a subclass of body substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10257-10257 | Blood type a is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10276-10276 | Blood typeA b is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10294-10294 | Blood type b is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10313-10313 | Blood type o is a subclass of blood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10511-10511 | Clot is a subclass of blood |
|
|