Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
defaultMaximumMeasure
Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure
appearance as argument number 1
(
documentation
defaultMaximumMeasure
EnglishLanguage
"A
BinaryPredicate
that states the assumed maximum
measure
of an
Object
")
Mid-level-ontology.kif 12999-12999
(
domain
defaultMaximumMeasure
2
Quantity
)
Mid-level-ontology.kif 12998-12998
(
domainSubclass
defaultMaximumMeasure
1
Object
)
Mid-level-ontology.kif 12997-12997
(
instance
defaultMaximumMeasure
BinaryPredicate
)
Mid-level-ontology.kif 12996-12996
appearance as argument number 2
(
format
ChineseLanguage
defaultMaximumMeasure
"%1 的 maximum 预期价值是 %2 ")
domainEnglishFormat.kif 3187-3187
(
format
ChineseTraditionalLanguage
defaultMaximumMeasure
"%1 的 maximum 預期價值是 %2 ")
domainEnglishFormat.kif 3186-3186
(
format
EnglishLanguage
defaultMaximumMeasure
"the maximum expected value of %1 is %2")
domainEnglishFormat.kif 3185-3185
(
termFormat
EnglishLanguage
defaultMaximumMeasure
"default maximum measure")
Mid-level-ontology.kif 13000-13000
antecedent
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13002-13011
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13013-13024
appearance as argument number 0
(
defaultMaximumMeasure
Lemur
(
MeasureFn
20.0
PoundMass
))
Mid-level-ontology.kif 29847-29847
(
defaultMaximumMeasure
Lion
(
MeasureFn
600.0
PoundMass
))
Mid-level-ontology.kif 29749-29749
(
defaultMaximumMeasure
Parrot
(
MeasureFn
9.0
PoundMass
))
Mid-level-ontology.kif 29827-29827
(
defaultMaximumMeasure
Rhinoceros
(
MeasureFn
2200.0
PoundMass
))
Mid-level-ontology.kif 29814-29814
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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