| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21628-21628 | Sangue e' uma sub-classe de SolMixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | Sangue e' uma sub-classe de Substancia Corporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10258-10258 | BloodTypeA e' uma sub-classe de Sangue |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10277-10277 | BloodTypeAB e' uma sub-classe de Sangue |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10295-10295 | BloodTypeB e' uma sub-classe de Sangue |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10314-10314 | BloodTypeO e' uma sub-classe de Sangue |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10512-10512 | Clot e' uma sub-classe de Sangue |
|
|