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

KB Term:  Term intersection
English Word: 

Sigma KEE - capacity
capacity

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


(instance capacity BinaryPredicate) Mid-level-ontology.kif 7768-7768 capacity is an instance of binary predicate
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7769-7769 The number 1 argument of capacity is an instance of self connected object
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7770-7770 The number 2 argument of capacity is an instance of constant quantity
(relatedInternalConcept capacity humanCapacity) Mid-level-ontology.kif 7771-7771 capacity is internally related to human capacity
(documentation capacity EnglishLanguage "(capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the measure of ?QUANTITY. This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this does not mean that capacity is a SingleValuedRelation, since an object may have various maximal capacities across different dimensions, e.g. a particular box may have a capacity of 3 pounds and a capacity of 1 liter.") Mid-level-ontology.kif 7772-7777 capacity is internally related to human capacity

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


(format EnglishLanguage capacity "%2 is %n a capacity of %1") domainEnglishFormat.kif 350-350
(format ChineseTraditionalLanguage capacity "%2 %n 是 %1 的 capacity ") domainEnglishFormat.kif 351-351
(format ChineseLanguage capacity "%2 %n 是 %1 的 capacity ") domainEnglishFormat.kif 352-352
(termFormat EnglishLanguage capacity "capacity") domainEnglishFormat.kif 13050-13050
(termFormat ChineseTraditionalLanguage capacity "容量") domainEnglishFormat.kif 13051-13051
(termFormat ChineseLanguage capacity "容量") domainEnglishFormat.kif 13052-13052

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


(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (instance ?U UnitOfMeasure)
        (measure ?A1
            (MeasureFn ?A1M ?U))
        (measure ?A2
            (MeasureFn ?A2M ?U))
        (measure ?F1
            (MeasureFn ?F1M ?U))
        (measure ?F2
            (MeasureFn ?F2M ?U)))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))		 Cars.kif 1253-1287 If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L
(=>
    (and
        (instance ?T ShipContainer)
        (capacity ?T
            (MeasureFn ?X ?U))
        (instance ?X UnitOfMass)
        (contains ?T ?O)
        (weight ?O
            (MeasureFn ?Y ?U))
        (lessThan ?Y ?X))
    (modalAttribute
        (not
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (patient ?D ?T)))) Likely))		 Transportation.kif 2875-2890 If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely

consequent
-------------------------


(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 7779-7783 If the measure of X is Y and Z contains X, then Y is a capacity of Z
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2868-2873 If X is an instance of twenty foot container and dry is an attribute of X, then 21600 kilogram(s) is a capacity of X
(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))		 Transportation.kif 3006-3011 If X is an instance of forty foot container and dry is an attribute of X, then 26480 kilogram(s) is a capacity of X


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