(domain AmountsFn 3 MassMeasure) |
Merge.kif 7363-7363 |
The number 3 argument of AmountsFn is an instance of mass measure |
(domain DensityFn 1 MassMeasure) |
Merge.kif 6435-6435 |
The number 1 argument of density is an instance of mass measure |
(domain amount 3 MassMeasure) |
Merge.kif 7371-7371 |
The number 3 argument of amount is an instance of mass measure |
(domain fleetDeadWeightTonnage 2 MassMeasure) |
Transportation.kif 1004-1004 |
The number 2 argument of fleet dead weight tonnage is an instance of mass measure |
(domain maximumPayloadCapacity 2 MassMeasure) |
MilitaryDevices.kif 82-82 |
The number 2 argument of maximum payload capacity is an instance of mass measure |
(domain vesselDeadWeightTonnage 2 MassMeasure) |
Transportation.kif 2542-2542 |
The number 2 argument of vessel dead weight tonnage is an instance of mass measure |
(domain weight 2 MassMeasure) |
Merge.kif 7071-7071 |
The number 2 argument of weight is an instance of mass measure |