TreeView 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 6684-6689
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6681-6681	域容量, 1 and SelfConnectedObject
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6682-6682	域容量, 2 and ConstantQuantity
(instance capacity BinaryPredicate)	Mid-level-ontology.kif 6680-6680	例容量 and BinaryPredicate
(relatedInternalConcept capacity humanCapacity)	Mid-level-ontology.kif 6683-6683	相關的內部概念容量 and 人的能力

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 13044-13044
(termFormat ChineseTraditionalLanguage capacity "容量")	domainEnglishFormat.kif 13043-13043
(termFormat EnglishLanguage capacity "capacity")	domainEnglishFormat.kif 13042-13042

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

consequent

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

Mid-level-ontology.kif 6691-6695