No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11722-11722 |
Throat est une sous-classe de Airway |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11734-11734 |
Trachea est une sous-classe de Airway |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6312-6312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6311-6311 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6310-6310 |
|