No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7146-7146 |
Amu e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7263-7263 |
AtomGram e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6700-6700 |
Gram e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7277-7277 |
Kilogram e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13612-13612 |
LongTon e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13596-13596 |
MetricTon e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6746-6746 |
Mole e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13321-13321 |
OunceMass e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7292-7292 |
PoundMass e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7300-7300 |
Slug e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13587-13587 |
TonMass e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65659-65659 |
|