defaultMeasure |
appearance as argument number 1 |
(documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 13562-13562 | |
(domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13561-13561 | |
(domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 13560-13560 | |
(instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 13559-13559 |
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 13563-13563 |
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 13565-13574 | |
(=> (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 13576-13585 |
appearance as argument number 0 |
(defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 20272-20272 | |
(defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20285-20285 | |
(defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20300-20300 | |
(defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | |
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30554-30554 | |
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30530-30530 | |
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30571-30571 | |
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30589-30589 | |
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20314-20314 | |
(defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20322-20322 | |
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30490-30490 | |
(defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 30476-30476 | |
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 30512-30512 | |
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 20331-20331 |