No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10863-10863 |
Milk is a subclass of liquid body substance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10857-10857 |
Serum is a subclass of liquid body substance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12356-12356 |
Tear substance is a subclass of liquid body substance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34631-34631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34630-34630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34629-34629 |
|