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 7621-7626 | |
(domain capacity 1 SelfConnectedObject) | Mid-level-ontology.kif 7618-7618 | |
(domain capacity 2 ConstantQuantity) | Mid-level-ontology.kif 7619-7619 | |
(instance capacity BinaryPredicate) | Mid-level-ontology.kif 7617-7617 | |
(relatedInternalConcept capacity humanCapacity) | Mid-level-ontology.kif 7620-7620 |
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 13053-13053 | |
(termFormat ChineseTraditionalLanguage capacity "容量") | domainEnglishFormat.kif 13052-13052 | |
(termFormat EnglishLanguage capacity "capacity") | domainEnglishFormat.kif 13051-13051 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?T FortyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 26480 Kilogram))) |
Transportation.kif 2960-2965 | |
(=> (and (instance ?T TwentyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 21600 Kilogram))) |
Transportation.kif 2822-2827 | |
(=> (and (measure ?OBJ1 ?MEAS) (contains ?OBJ2 ?OBJ1)) (capacity ?OBJ2 ?MEAS)) |
Mid-level-ontology.kif 7628-7632 |
![]() |
![]() |