|
|
   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 6262-6265 | |
| (documentation UnitOfMass JapaneseLanguage "この Class のすべてのインスタンスは、MeasureFn と共に MassMeasure のインスタンスを形成するために使用できる UnitOfMeasure であり、 PhysicalObject での問題の量を示す。") | japanese_format.kif 1093-1095 | |
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 6260-6260 |
| appearance as argument number 2 |
|
|
| (instance Amu UnitOfMass) | Merge.kif 7147-7147 | |
| (instance AtomGram UnitOfMass) | Merge.kif 7264-7264 | |
| (instance Gram UnitOfMass) | Merge.kif 6701-6701 | |
| (instance Kilogram UnitOfMass) | Merge.kif 7278-7278 | |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13640-13640 | |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 13624-13624 | |
| (instance Mole UnitOfMass) | Merge.kif 6747-6747 | |
| (instance OunceMass UnitOfMass) | Mid-level-ontology.kif 13349-13349 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7293-7293 | |
| (instance Slug UnitOfMass) | Merge.kif 7301-7301 | |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 13615-13615 | |
| (termFormat EnglishLanguage UnitOfMass "unit of mass") | domainEnglishFormat.kif 65661-65661 |
| appearance as argument number 3 |
|
|
| (domain AmountsFn 3 UnitOfMass) | Merge.kif 7580-7580 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6365-6369 | |
| (=> (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 |
|
|
|