No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18714-18714 |
相反的屬性 全職職位 and 兼職職位 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20898-20898 |
子屬性 執事 and 兼職職位 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44604-44604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44603-44603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44602-44602 |
|