UnitOfVolume
|
|
appearance as argument number 1 |
(documentation UnitOfVolume ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 VolumeMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2413-2414 | |
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.") | Merge.kif 6285-6287 | |
(documentation UnitOfVolume JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure であり、MeasureFn を使用して VolumeMeasure のインスタンスを形成できる。") | japanese_format.kif 1100-1101 | |
(subclass UnitOfVolume CompositeUnitOfMeasure) | Merge.kif 6283-6283 | UnitOfVolume ist eine teilkategorie von CompositeUnitOfMeasure |
appearance as argument number 2 |
(instance CubicFoot UnitOfVolume) | Mid-level-ontology.kif 13634-13634 | CubicFoot ist ein fall von UnitOfVolume %n{nicht} |
(instance Cup UnitOfVolume) | Merge.kif 7234-7234 | Cup ist ein fall von UnitOfVolume %n{nicht} |
(instance LiquorShot UnitOfVolume) | Mid-level-ontology.kif 13677-13677 | LiquorShot ist ein fall von UnitOfVolume %n{nicht} |
(instance Liter UnitOfVolume) | Merge.kif 6769-6769 | Liter ist ein fall von UnitOfVolume %n{nicht} |
(instance Ounce UnitOfVolume) | Merge.kif 7243-7243 | Ounce ist ein fall von UnitOfVolume %n{nicht} |
(instance Pint UnitOfVolume) | Merge.kif 7225-7225 | Pint ist ein fall von UnitOfVolume %n{nicht} |
(instance Quart UnitOfVolume) | Merge.kif 7216-7216 | Quart ist ein fall von UnitOfVolume %n{nicht} |
(instance RegistryTon UnitOfVolume) | Mid-level-ontology.kif 13662-13662 | RegistryTon ist ein fall von UnitOfVolume %n{nicht} |
(instance UnitedKingdomGallon UnitOfVolume) | Merge.kif 7252-7252 | UnitedKingdomGallon ist ein fall von UnitOfVolume %n{nicht} |
(instance UnitedStatesGallon UnitOfVolume) | Merge.kif 7206-7206 | UnitedStatesGallon ist ein fall von UnitOfVolume %n{nicht} |
(termFormat EnglishLanguage UnitOfVolume "unit of volume") | domainEnglishFormat.kif 65662-65662 |
antecedent |
consequent |
(=> (instance ?I Inflating) (exists (?G1 ?G2 ?V1 ?V2 ?S ?U) (and (instance ?G1 ?S) (instance ?G2 ?S) (instance ?S Substance) (attribute ?G1 Gas) (attribute ?G2 Gas) (instance ?U UnitOfVolume) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (measure ?G1 (MeasureFn ?V1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (measure ?G2 (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))) |
Cars.kif 3606-3622 |
|