|
|
   UnitOfMass
|
|
|
| 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 6247-6250 | |
| (documentation UnitOfMass JapaneseLanguage "この Class のすべてのインスタンスは、MeasureFn と共に MassMeasure のインスタンスを形成するために使用できる UnitOfMeasure であり、 PhysicalObject での問題の量を示す。") | japanese_format.kif 1093-1095 | |
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 6245-6245 |
| appearance as argument number 2 |
|
|
| (instance Amu UnitOfMass) | Merge.kif 7132-7132 | |
| (instance AtomGram UnitOfMass) | Merge.kif 7249-7249 | |
| (instance Gram UnitOfMass) | Merge.kif 6686-6686 | |
| (instance Kilogram UnitOfMass) | Merge.kif 7263-7263 | |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13548-13548 | |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 13532-13532 | |
| (instance Mole UnitOfMass) | Merge.kif 6732-6732 | |
| (instance OunceMass UnitOfMass) | Mid-level-ontology.kif 13258-13258 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7278-7278 | |
| (instance Slug UnitOfMass) | Merge.kif 7286-7286 | |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 13523-13523 | |
| (termFormat EnglishLanguage UnitOfMass "unit of mass") | domainEnglishFormat.kif 65671-65671 |
| appearance as argument number 3 |
|
|
| (domain AmountsFn 3 UnitOfMass) | Merge.kif 7565-7565 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6350-6354 | |
| (=> (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 |
|
|
|