defaultMeasure |
appearance as argument number 1 |
(documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 13563-13563 | |
(domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13562-13562 | defaultMeasure 的 2 数量 是 数量 的 instance |
(domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 13561-13561 | defaultMeasure 的 1 数量 是 客体 的 subclass |
(instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 13560-13560 | defaultMeasure 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage defaultMeasure "%1 的预期 value 是 %2 ") | domainEnglishFormat.kif 3194-3194 | |
(format ChineseTraditionalLanguage defaultMeasure "%1 的預期 value 是 %2 ") | domainEnglishFormat.kif 3193-3193 | |
(format EnglishLanguage defaultMeasure "the expected value of %1 is %2") | domainEnglishFormat.kif 3192-3192 | |
(termFormat EnglishLanguage defaultMeasure "default measure") | Mid-level-ontology.kif 13564-13564 |
antecedent |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 13566-13575 | |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 13577-13586 |
appearance as argument number 0 |
(defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 20273-20273 | Alligator 的预期 value 是 790.0 磅质量 |
(defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20286-20286 | Badger 的预期 value 是 20.0 磅质量 |
(defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20301-20301 | Bear 的预期 value 是 500.0 磅质量 |
(defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | 一盒巧克力 的预期 value 是 250.0 公克 |
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30566-30566 | Cheetah 的预期 value 是 150.0 磅质量 |
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30542-30542 | Crocodile 的预期 value 是 2000.0 磅质量 |
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30583-30583 | Ferret 的预期 value 是 2.0 磅质量 |
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30601-30601 | GuineaPig 的预期 value 是 2.0 磅质量 |
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20315-20315 | Kangaroo 的预期 value 是 18.0 磅质量 |
(defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20323-20323 | Llama 的预期 value 是 18.0 磅质量 |
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30502-30502 | Octopus 的预期 value 是 33.0 磅质量 |
(defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 30488-30488 | Panda 的预期 value 是 240.0 磅质量 |
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 30524-30524 | 驯鹿 的预期 value 是 300.0 磅质量 |
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 20332-20332 | Skunk 的预期 value 是 5.0 磅质量 |