No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18980-18980 |
船长 是 水手 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18988-18988 |
船友 是 水手 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18984-18984 |
船军官 是 水手 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50805-50805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50804-50804 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50803-50803 |
|