No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11723-11723 |
子類 喉 and 空中航線 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11735-11735 |
子類 Trachea and 空中航線 |
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 |
|