No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7146-7146 |
Amu 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7263-7263 |
原子克 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6700-6700 |
公克 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7277-7277 |
公斤 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13613-13613 |
长吨 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13597-13597 |
公吨 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6746-6746 |
痣 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13322-13322 |
OunceMass 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7292-7292 |
磅质量 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7300-7300 |
金属块 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13588-13588 |
吨质量 是 UnitOfMass 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65659-65659 |
|