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 6317-6322
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6314-6314	The number 1 argument of capacity is an instance of self connected object
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6315-6315	The number 2 argument of capacity is an instance of constant quantity
(instance capacity BinaryPredicate)	Mid-level-ontology.kif 6313-6313	capacity is an instance of binary predicate
(relatedInternalConcept capacity humanCapacity)	Mid-level-ontology.kif 6316-6316	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 12985-12985	"容量" is the printable form of capacity in ChineseLanguage
(termFormat ChineseTraditionalLanguage capacity "容量")	domainEnglishFormat.kif 12984-12984	"容量" is the printable form of capacity in ChineseTraditionalLanguage
(termFormat EnglishLanguage capacity "capacity")	domainEnglishFormat.kif 12983-12983	"capacity" is the printable form of capacity in english language

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 6324-6328