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 7647-7652
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7644-7644 The number 1 argument of capacity is an instance of self connected object
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7645-7645 The number 2 argument of capacity is an instance of constant quantity
(instance capacity BinaryPredicate) Mid-level-ontology.kif 7643-7643 capacity is an instance of binary predicate
(relatedInternalConcept capacity humanCapacity) Mid-level-ontology.kif 7646-7646 capacity is internally related to human capacity

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 13059-13059
(termFormat ChineseTraditionalLanguage capacity "容量") domainEnglishFormat.kif 13058-13058
(termFormat EnglishLanguage capacity "capacity") domainEnglishFormat.kif 13057-13057

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 2826-2841

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


(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))
Transportation.kif 2957-2962
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))
Transportation.kif 2819-2824
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))
Mid-level-ontology.kif 7654-7658


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