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


s__documentation(s__capacity__m,s__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 6320-6325
s__domain(s__capacity__m,n__1,s__SelfConnectedObject)

Mid-level-ontology.kif 6317-6317 The number 1 argument of capacity is an instance of self connected object
s__domain(s__capacity__m,n__2,s__ConstantQuantity)

Mid-level-ontology.kif 6318-6318 The number 2 argument of capacity is an instance of constant quantity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__capacity__m,s__BinaryPredicate)

Mid-level-ontology.kif 6316-6316 capacity is an instance of binary predicate
s__relatedInternalConcept(s__capacity__m,s__humanCapacity__m)

Mid-level-ontology.kif 6319-6319 capacity is internally related to human capacity

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__capacity__m,'"%2 %n 是 %1 的 capacity "')

domainEnglishFormat.kif 352-352
s__format(s__ChineseTraditionalLanguage,s__capacity__m,'"%2 %n 是 %1 的 capacity "')

domainEnglishFormat.kif 351-351
s__format(s__EnglishLanguage,s__capacity__m,'"%2 is %n a capacity of %1"')

domainEnglishFormat.kif 350-350
s__termFormat(s__ChineseLanguage,s__capacity__m,'"容量"')

domainEnglishFormat.kif 13047-13047
s__termFormat(s__ChineseTraditionalLanguage,s__capacity__m,'"容量"')

domainEnglishFormat.kif 13046-13046
s__termFormat(s__EnglishLanguage,s__capacity__m,'"capacity"')

domainEnglishFormat.kif 13045-13045

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348

consequent
-------------------------


( ! [V__MEAS,V__OBJ1,V__OBJ2] :
   (((s__instance(V__MEAS,s__ConstantQuantity) &
         s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__measure(V__OBJ1,V__MEAS)
           &
           s__contains(V__OBJ2,V__OBJ1))
       =>
       (s__capacity(V__OBJ2,V__MEAS)))))
)
)

Mid-level-ontology.kif 6327-6331


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 3.0 is open source software produced by Articulate Software and its partners