Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnitOfMass(unit of mass) |
| appearance as argument number 1 |
|
| (subclass UnitOfMass NonCompositeUnitOfMeasure) | Merge.kif 6378-6378 | Unit of mass is a subclass of non composite unit of measure |
| (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 6380-6383 | Unit of mass is a subclass of non composite unit of measure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AmountsFn 3 UnitOfMass) | Merge.kif 7722-7722 | The number 3 argument of Amounts fn is an instance of unit of mass |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfMass)) (instance ?QUANT MassMeasure)) |
Merge.kif 6483-6487 | If equal X Y(s) and Z and Y is an instance of unit of mass, then Z is an instance of mass measure |
| (=> (and (instance ?UNIT UnitOfMass) (fleetGrossRegisteredTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT RegistryTon)) |
Transportation.kif 996-1000 | If X is an instance of unit of mass and Y X(s) is a fleet gross registered tonnage of Z, then equal X and registry ton |
| (=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon)) |
Transportation.kif 1013-1017 | If X is an instance of unit of mass and Y X(s) is a fleet dead weight tonnage of Z, then equal X and long ton |
| (=> (and (instance ?T ShipContainer) (capacity ?T (MeasureFn ?X ?U)) (instance ?X UnitOfMass) (contains ?T ?O) (weight ?O (MeasureFn ?Y ?U)) (lessThan ?Y ?X)) (modalAttribute (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?T)))) Likely)) |
Transportation.kif 2875-2890 | If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely |
| (=> (and (massLimit ?ROBOT (MeasureFn ?MASSLIMIT ?UNITOFMASS)) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (instance ?UNITOFMASS UnitOfMass) (defaultMaximumMeasure ?OBJECT (MeasureFn ?NUM ?UNITOFMASS)) (greaterThan ?NUM ?MASSLIMIT)) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 94-103 | If All of the following hold: (1) massLimit X and Y Z(s) (2) W is an instance of V (3) V is a subclass of object (4) Z is an instance of unit of mass (5) the maximum expected value of V is U Z(s) (6) U is greater than Y, then canCarry X and W |
| consequent |
|
|
| (=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 798-805 | If the per of X Y(s) and Z W(s) is an effective dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass |
| (=> (lethalDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 855-862 | If the per of X Y(s) and Z W(s) is a lethal dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass |
|