| appearance as argument number 1 |
|
| (documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 13433-13433 | |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13432-13432 | |
| (domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 13431-13431 | |
| (instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 13430-13430 |
| 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 13434-13434 |
| 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 13436-13445 | |
| (=> (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 13447-13456 |
| appearance as argument number 0 |
|
|
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 20090-20090 | |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20103-20103 | |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20118-20118 | |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30671-30671 | |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30647-30647 | |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30688-30688 | |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30706-30706 | |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20132-20132 | |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20140-20140 | |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30607-30607 | |
| (defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 30593-30593 | |
| (defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 30629-30629 | |
| (defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 20149-20149 |
|
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