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 6318-6323
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6315-6315
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6316-6316
(instance capacity BinaryPredicate)	Mid-level-ontology.kif 6314-6314
(relatedInternalConcept capacity humanCapacity)	Mid-level-ontology.kif 6317-6317

appearance as argument number 2

(format EnglishLanguage capacity "%2 is %n a capacity of %1")	domainEnglishFormat.kif 97-97
(termFormat EnglishLanguage capacity "capacity")	domainEnglishFormat.kif 2597-2597

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 1314-1343

consequent

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

Mid-level-ontology.kif 6325-6329