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

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 termFormat ChineseLanguage, capacity and "容量"
(termFormat ChineseTraditionalLanguage capacity "容量") domainEnglishFormat.kif 12984-12984 termFormat ChineseTraditionalLanguage, capacity and "容量"
(termFormat EnglishLanguage capacity "capacity") domainEnglishFormat.kif 12983-12983 termFormat EnglishLanguage, capacity and "capacity"

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners