No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11723-11723 |
喉 是 空中航线 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11735-11735 |
Trachea 是 空中航线 的 subclass |
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 |
|