| appearance as argument number 1 |
|
| (documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 11190-11190 | |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 11189-11189 | |
| (domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 11188-11188 | |
| (instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 11187-11187 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage defaultMeasure "%1 的预期 value 是 %2 ") | domainEnglishFormat.kif 3199-3199 | |
| (format ChineseTraditionalLanguage defaultMeasure "%1 的預期 value 是 %2 ") | domainEnglishFormat.kif 3198-3198 | |
| (format EnglishLanguage defaultMeasure "the expected value of %1 is %2") | domainEnglishFormat.kif 3197-3197 | |
| (termFormat EnglishLanguage defaultMeasure "default measure") | Mid-level-ontology.kif 11191-11191 |
| 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 11193-11202 | |
| (=> (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 11204-11213 |
| appearance as argument number 0 |
|
|
| (defaultMeasure Alligator (MeasureFn 790 PoundMass)) |
Mid-level-ontology.kif 18049-18049 | |
| (defaultMeasure Badger (MeasureFn 20 PoundMass)) |
Mid-level-ontology.kif 18062-18062 | |
| (defaultMeasure Bear (MeasureFn 500 PoundMass)) |
Mid-level-ontology.kif 18077-18077 | |
| (defaultMeasure Cheetah (MeasureFn 150 PoundMass)) |
Mid-level-ontology.kif 28743-28743 | |
| (defaultMeasure Crocodile (MeasureFn 2000 PoundMass)) |
Mid-level-ontology.kif 28719-28719 | |
| (defaultMeasure Ferret (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28760-28760 | |
| (defaultMeasure GuineaPig (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28778-28778 | |
| (defaultMeasure Kangaroo (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18091-18091 | |
| (defaultMeasure Llama (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18099-18099 | |
| (defaultMeasure Octopus (MeasureFn 33 PoundMass)) |
Mid-level-ontology.kif 28679-28679 | |
| (defaultMeasure Panda (MeasureFn 240 PoundMass)) |
Mid-level-ontology.kif 28665-28665 | |
| (defaultMeasure Reindeer (MeasureFn 300 PoundMass)) |
Mid-level-ontology.kif 28701-28701 | |
| (defaultMeasure Skunk (MeasureFn 5 PoundMass)) |
Mid-level-ontology.kif 18108-18108 |
|
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