| appearance as argument number 1 |
|
| (documentation UnitOfMass EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of MassMeasure, which denote the amount of matter in PhysicalObjects.") | Merge.kif 5792-5795 | |
| (documentation UnitOfMass EnglishLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 MassMeasure 实例的 UnitOfMeasure，来表示 PhysicalObject 所含物质的数量。") | Merge.kif 5797-5798 | |
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 5790-5790 | subclass UnitOfMass and NonCompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (instance Amu UnitOfMass) | Merge.kif 6690-6690 | instance Amu and UnitOfMass |
| (instance AtomGram UnitOfMass) | Merge.kif 6807-6807 | instance AtomGram and UnitOfMass |
| (instance Gram UnitOfMass) | Merge.kif 6251-6251 | instance Gram and UnitOfMass |
| (instance Kilogram UnitOfMass) | Merge.kif 6821-6821 | instance Kilogram and UnitOfMass |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 11205-11205 | instance LongTon and UnitOfMass |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 11189-11189 | instance MetricTon and UnitOfMass |
| (instance Mole UnitOfMass) | Merge.kif 6296-6296 | instance Mole and UnitOfMass |
| (instance OunceMass UnitOfMass) | Mid-level-ontology.kif 10934-10934 | instance OunceMass and UnitOfMass |
| (instance PoundMass UnitOfMass) | Merge.kif 6836-6836 | instance PoundMass and UnitOfMass |
| (instance Slug UnitOfMass) | Merge.kif 6844-6844 | instance Slug and UnitOfMass |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 11180-11180 | instance TonMass and UnitOfMass |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 5897-5901 | |
| (=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon)) |
Transportation.kif 1002-1006 | |
| (=> (and (instance ?UNIT UnitOfMass) (fleetGrossRegisteredTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT RegistryTon)) |
Transportation.kif 985-989 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners