No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1618-1618 |
partTypes StapesBone and AuditoryCanal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11888-11888 |
partTypes TemporalLobes and Brain |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1227-1227 |
partTypes ThoracicAorta and Aorta |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 933-933 |
partTypes Valve and Faucet |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 934-934 |
partTypes Valve and Tube |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12825-12825 |
partTypes Waist and Abdomen |