| appearance as argument number 1 |
|
| (documentation UnitOfMass ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 MassMeasure 实例的 UnitOfMeasure，来表示 PhysicalObject 所含物质的数量。") | chinese_format.kif 4064-4064 | |
| (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 6261-6264 | |
| (documentation UnitOfMass JapaneseLanguage "この Class のすべてのインスタンスは、MeasureFn と共に MassMeasure のインスタンスを形成するために使用できる UnitOfMeasure であり、 PhysicalObject での問題の量を示す。") | japanese_format.kif 1093-1095 | |
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 6259-6259 | UnitOfMass ist eine teilkategorie von NonCompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (instance Amu UnitOfMass) | Merge.kif 7146-7146 | Amu ist ein fall von UnitOfMass %n{nicht} |
| (instance AtomGram UnitOfMass) | Merge.kif 7263-7263 | AtomGram ist ein fall von UnitOfMass %n{nicht} |
| (instance Gram UnitOfMass) | Merge.kif 6700-6700 | Gram ist ein fall von UnitOfMass %n{nicht} |
| (instance Kilogram UnitOfMass) | Merge.kif 7277-7277 | Kilogram ist ein fall von UnitOfMass %n{nicht} |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13613-13613 | LongTon ist ein fall von UnitOfMass %n{nicht} |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 13597-13597 | MetricTon ist ein fall von UnitOfMass %n{nicht} |
| (instance Mole UnitOfMass) | Merge.kif 6746-6746 | Mole ist ein fall von UnitOfMass %n{nicht} |
| (instance OunceMass UnitOfMass) | Mid-level-ontology.kif 13322-13322 | OunceMass ist ein fall von UnitOfMass %n{nicht} |
| (instance PoundMass UnitOfMass) | Merge.kif 7292-7292 | PoundMass ist ein fall von UnitOfMass %n{nicht} |
| (instance Slug UnitOfMass) | Merge.kif 7300-7300 | Slug ist ein fall von UnitOfMass %n{nicht} |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 13588-13588 | TonMass ist ein fall von UnitOfMass %n{nicht} |
| (termFormat EnglishLanguage UnitOfMass "unit of mass") | domainEnglishFormat.kif 65659-65659 |
| appearance as argument number 3 |
|
|
| (domain AmountsFn 3 UnitOfMass) | Merge.kif 7579-7579 | Die Zahl 3 Argument von AmountsFn ist ein fall von UnitOfMass %n{nicht} |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6364-6368 |
|
| (=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon)) |
Transportation.kif 1013-1017 |
|
| (=> (and (instance ?UNIT UnitOfMass) (fleetGrossRegisteredTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT RegistryTon)) |
Transportation.kif 996-1000 |
|
| consequent |
|
|
| (=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 803-810 |
|
| (=> (lethalDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 860-867 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners