TreeView Knowledge Base Browser - vesselDisplacement

appearance as argument number 1

(instance vesselDisplacement BinaryPredicate)	Transportation.kif 2763-2763	vessel displacement is an instance of binary predicate
(domain vesselDisplacement 1 WaterVehicle)	Transportation.kif 2764-2764	The number 1 argument of vessel displacement is an instance of water vehicle
(domain vesselDisplacement 2 PhysicalQuantity)	Transportation.kif 2765-2765	The number 2 argument of vessel displacement is an instance of physical quantity
(subrelation vesselDisplacement measure)	Transportation.kif 2766-2766	vessel displacement is a subrelation of measure
(documentation vesselDisplacement EnglishLanguage "(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).")	Transportation.kif 2767-2771	vessel displacement is a subrelation of measure

appearance as argument number 2

(subrelation vesselDeadWeightTonnage vesselDisplacement)	Transportation.kif 2776-2776	vessel dead weight tonnage is a subrelation of vessel displacement
(subrelation vesselGrossRegisteredTonnage vesselDisplacement)	Transportation.kif 2799-2799	vessel gross registered tonnage is a subrelation of vessel displacement
(format EnglishLanguage vesselDisplacement "%2 is %n a vessel displacement of %1")	domainEnglishFormat.kif 2585-2585	vessel gross registered tonnage is a subrelation of vessel displacement
(format ChineseTraditionalLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移")	domainEnglishFormat.kif 2586-2586	vessel gross registered tonnage is a subrelation of vessel displacement
(format ChineseLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移")	domainEnglishFormat.kif 2587-2587	vessel gross registered tonnage is a subrelation of vessel displacement
(termFormat EnglishLanguage vesselDisplacement "vessel displacement")	domainEnglishFormat.kif 61581-61581	vessel gross registered tonnage is a subrelation of vessel displacement
(termFormat ChineseTraditionalLanguage vesselDisplacement "船隻位移")	domainEnglishFormat.kif 61582-61582	vessel gross registered tonnage is a subrelation of vessel displacement
(termFormat ChineseLanguage vesselDisplacement "船只位移")	domainEnglishFormat.kif 61583-61583	vessel gross registered tonnage is a subrelation of vessel displacement

antecedent

(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))

If X long ton(s) is a navigable for shipping tonnage of Y, Z is an instance of water vehicle, W long ton(s) is a vessel displacement of Z, and W is less than or equal to X, then Y is capable of doing the trip of Z as a path