| 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 5921-5924 | |
| (documentation UnitOfMass EnglishLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 MassMeasure 实例的 UnitOfMeasure，来表示 PhysicalObject 所含物质的数量。") | Merge.kif 5926-5927 | |
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 5919-5919 | subclass UnitOfMass and NonCompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (instance Amu UnitOfMass) | Merge.kif 6819-6819 | instance Amu and UnitOfMass |
| (instance AtomGram UnitOfMass) | Merge.kif 6936-6936 | instance AtomGram and UnitOfMass |
| (instance Gram UnitOfMass) | Merge.kif 6380-6380 | instance Gram and UnitOfMass |
| (instance Kilogram UnitOfMass) | Merge.kif 6950-6950 | instance Kilogram and UnitOfMass |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 11265-11265 | instance LongTon and UnitOfMass |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 11249-11249 | instance MetricTon and UnitOfMass |
| (instance Mole UnitOfMass) | Merge.kif 6425-6425 | instance Mole and UnitOfMass |
| (instance OunceMass UnitOfMass) | Mid-level-ontology.kif 10994-10994 | instance OunceMass and UnitOfMass |
| (instance PoundMass UnitOfMass) | Merge.kif 6965-6965 | instance PoundMass and UnitOfMass |
| (instance Slug UnitOfMass) | Merge.kif 6973-6973 | instance Slug and UnitOfMass |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 11240-11240 | instance TonMass and UnitOfMass |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6026-6030 | |
| (=> (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