capacity - Sigma Knowledge base Browser

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 6323-6328
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6320-6320
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6321-6321
(instance capacity BinaryPredicate)	Mid-level-ontology.kif 6319-6319
(relatedInternalConcept capacity humanCapacity)	Mid-level-ontology.kif 6322-6322

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 12979-12979
(termFormat ChineseTraditionalLanguage capacity "容量")	domainEnglishFormat.kif 12978-12978
(termFormat EnglishLanguage capacity "capacity")	domainEnglishFormat.kif 12977-12977

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)
        (measure ?A1 ?A1M)
        (measure ?A2 ?A2M)
        (measure ?F1 ?F1M)
        (measure ?F2 ?F2M))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))

Cars.kif 1315-1344

consequent

(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))

Mid-level-ontology.kif 6330-6334