capacity - Sigma Knowledge base Browser

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 6678-6683
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6675-6675	The number 1 argument of capacity is an instance of self connected object
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6676-6676	The number 2 argument of capacity is an instance of constant quantity
(instance capacity BinaryPredicate)	Mid-level-ontology.kif 6674-6674	capacity is an instance of binary predicate
(relatedInternalConcept capacity humanCapacity)	Mid-level-ontology.kif 6677-6677	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 13060-13060
(termFormat ChineseTraditionalLanguage capacity "容量")	domainEnglishFormat.kif 13059-13059
(termFormat EnglishLanguage capacity "capacity")	domainEnglishFormat.kif 13058-13058

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	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of engine cylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at the self connected object and the other process is located at the self connected object and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
(=> (and (instance ?T ShipContainer) (capacity ?T (MeasureFn ?X ?U)) (instance ?X UnitOfMass) (contains ?T ?O) (weight ?O (MeasureFn ?Y ?U)) (lessThan ?Y ?X)) (modalAttribute (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?T)))) Likely))	Transportation.kif 2820-2835	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely

consequent

(=> (and (instance ?T FortyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 26480 Kilogram)))	Transportation.kif 2951-2956	If a self connected object is an instance of forty foot container and dry is an attribute of the self connected object, then 26480 kilogram(s) is a capacity of the self connected object
(=> (and (instance ?T TwentyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 21600 Kilogram)))	Transportation.kif 2813-2818	If a self connected object is an instance of twenty foot container and dry is an attribute of the self connected object, then 21600 kilogram(s) is a capacity of the self connected object
(=> (and (measure ?OBJ1 ?MEAS) (contains ?OBJ2 ?OBJ1)) (capacity ?OBJ2 ?MEAS))	Mid-level-ontology.kif 6685-6689	If the measure of an object is a constant quantity and a self connected object contains the object, then the constant quantity is a capacity of the self connected object

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