Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ladenDraft

Sigma KEE - ladenDraft
ladenDraft

appearance as argument number 1
-------------------------


(documentation ladenDraft EnglishLanguage "(ladenDraft ?SHIP ?AMOUNT) means that the WaterVehicle ?SHIP requires a waterDepth of at least ?AMOUNT to sail without running aground, when she is loaded at capacity.") Transportation.kif 2678-2680
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2676-2676 ladenDraft の数値 1 引数は WaterVehicleinstance では %n
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2677-2677 ladenDraft の数値 2 引数は 長さ測定instance では %n
(instance ladenDraft BinaryPredicate) Transportation.kif 2675-2675 ladenDraft2進述語instance では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") domainEnglishFormat.kif 1427-1427
(format ChineseTraditionalLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") domainEnglishFormat.kif 1426-1426
(format EnglishLanguage ladenDraft "%2 is %n a laden draft of %1") domainEnglishFormat.kif 1425-1425
(termFormat ChineseLanguage ladenDraft "载货草案") domainEnglishFormat.kif 33085-33085
(termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") domainEnglishFormat.kif 33084-33084
(termFormat EnglishLanguage ladenDraft "laden draft") domainEnglishFormat.kif 33083-33083

antecedent
-------------------------


(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))
Transportation.kif 2653-2658
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2660-2665


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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