| appearance as argument number 1 |
|
| (documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 14902-14902 | |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 14901-14901 | |
| (domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 14900-14900 | |
| (instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 14899-14899 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage defaultMeasure "%1 的预期 value 是 %2 ") | domainEnglishFormat.kif 3190-3190 | |
| (format ChineseTraditionalLanguage defaultMeasure "%1 的預期 value 是 %2 ") | domainEnglishFormat.kif 3189-3189 | |
| (format EnglishLanguage defaultMeasure "the expected value of %1 is %2") | domainEnglishFormat.kif 3188-3188 | |
| (termFormat EnglishLanguage defaultMeasure "default measure") | Mid-level-ontology.kif 14903-14903 |
| 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 14905-14914 | |
| (=> (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 14916-14925 | |
| (=> (defaultMeasure FortyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 2800) (lessThanOrEqualTo ?X 4000))) |
Transportation.kif 2950-2955 | |
| (=> (defaultMeasure TwentyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 1800) (lessThanOrEqualTo ?X 2400))) |
Transportation.kif 2812-2817 |
| appearance as argument number 0 |
|
|
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 21890-21890 | |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 21903-21903 | |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 21918-21918 | |
| (defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2531-2532 | |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 32502-32502 | |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 32478-32478 | |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32519-32519 | |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32537-32537 | |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21932-21932 | |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21940-21940 | |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 32438-32438 | |
| (defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 32424-32424 | |
| (defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 32460-32460 | |
| (defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 21949-21949 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners