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 | |
(domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 13561-13561 | |
(instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 13560-13560 |
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 | |
(defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20286-20286 | |
(defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20301-20301 | |
(defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | |
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30566-30566 | |
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30542-30542 | |
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30583-30583 | |
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30601-30601 | |
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20315-20315 | |
(defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20323-20323 | |
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30502-30502 | |
(defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 30488-30488 | |
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 30524-30524 | |
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 20332-20332 |