Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PoliticalFigure

 Sigma KEE - ladenDraft
ladenDraft

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


(instance ladenDraft BinaryPredicate) Transportation.kif 3749-3749 laden draft is an instance of binary predicate
(domain ladenDraft 1 WaterVehicle) Transportation.kif 3750-3750 The number 1 argument of laden draft is an instance of water vehicle
(domain ladenDraft 2 LengthMeasure) Transportation.kif 3751-3751 The number 2 argument of laden draft is an instance of length measure
(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 3752-3754 The number 2 argument of laden draft is an instance of length measure

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


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

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


(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))		 Transportation.kif 3727-3732 If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is greater than Z, then Y is capable of doing the trip of W as a path
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 3734-3739 If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is less than or equal to Z, then Y is not capable of doing the trip of W as a path


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners