| appearance as argument number 1 |
|
| (documentation fleetDeadWeightTonnage EnglishLanguage "(fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in LongTons. This is the total vesselDeadWeightTonnage of all the vessels combined. Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a vessel can carry when immersed to the proper load line.") | Transportation.kif 1006-1011 | |
| (domain fleetDeadWeightTonnage 1 Collection) | Transportation.kif 1003-1003 | The number 1 argument of fleet dead weight tonnage is an instance of collection |
| (domain fleetDeadWeightTonnage 2 MassMeasure) | Transportation.kif 1004-1004 | The number 2 argument of fleet dead weight tonnage is an instance of mass measure |
| (instance fleetDeadWeightTonnage BinaryPredicate) | Transportation.kif 1002-1002 | fleet dead weight tonnage is an instance of binary predicate |
| (subrelation fleetDeadWeightTonnage measure) | Transportation.kif 1005-1005 | fleet dead weight tonnage is a subrelation of measure |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fleetDeadWeightTonnage "%2 %n 是 %1 的 fleet 载重吨位") | domainEnglishFormat.kif 1053-1053 | |
| (format ChineseTraditionalLanguage fleetDeadWeightTonnage "%2 %n 是 %1 的 fleet 載重噸位") | domainEnglishFormat.kif 1052-1052 | |
| (format EnglishLanguage fleetDeadWeightTonnage "%2 is %n a fleet dead weight tonnage of %1") | domainEnglishFormat.kif 1051-1051 | |
| (termFormat ChineseLanguage fleetDeadWeightTonnage "舰队载重吨位") | domainEnglishFormat.kif 24240-24240 | |
| (termFormat ChineseTraditionalLanguage fleetDeadWeightTonnage "艦隊載重噸位") | domainEnglishFormat.kif 24239-24239 | |
| (termFormat EnglishLanguage fleetDeadWeightTonnage "fleet dead weight tonnage") | domainEnglishFormat.kif 24238-24238 |
| antecedent |
|
|
| (=> (and (fleetDeadWeightTonnage ?FLEET (MeasureFn ?T LongTon)) (vesselDeadWeightTonnage ?VESSEL (MeasureFn ?X LongTon)) (member ?VESSEL ?FLEET)) (exists (?L) (and (instance ?L List) (inList ?X ?L) (equal ?T (ListSumFn ?L))))) |
Transportation.kif 2729-2739 |
|
| (=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon)) |
Transportation.kif 1013-1017 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners