No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8288-8288 |
职业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20779-20779 |
木匠 是 职业贸易 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20849-20849 |
农场的手 是 职业贸易 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20859-20859 |
水管工人 是 职业贸易 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20863-20863 |
制陶工人 是 职业贸易 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41608-41608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41607-41607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41606-41606 |
|