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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capacity
capacity

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


(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 6678-6683
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6675-6675
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 6676-6676
(instance capacity BinaryPredicate) Mid-level-ontology.kif 6674-6674
(relatedInternalConcept capacity humanCapacity) Mid-level-ontology.kif 6677-6677

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


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

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 1314-1348
(=>
    (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 2820-2835

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


(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))		 Transportation.kif 2951-2956
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2813-2818
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 6685-6689


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