Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
most
Sigma KEE - most
most
appearance as argument number 1
(
documentation
most
EnglishLanguage
"(
most
?MOST ?WHOLE) means that ?MOST is a
part
of ?WHOLE that is greater than
half
of ?WHOLE.")
Mid-level-ontology.kif 13217-13218
(
instance
most
BinaryPredicate
)
Mid-level-ontology.kif 13216-13216
most
is an
instance
of
binary predicate
(
subrelation
most
part
)
Mid-level-ontology.kif 13215-13215
most
is a
subrelation
of
part
appearance as argument number 2
(
format
ChineseLanguage
most
"%1 是 %2 的
most
")
domainEnglishFormat.kif 3886-3886
(
format
ChineseTraditionalLanguage
most
"%1 是 %2 的
most
")
domainEnglishFormat.kif 3885-3885
(
format
EnglishLanguage
most
"%1 is
most
of %2")
domainEnglishFormat.kif 3884-3884
(
termFormat
ChineseLanguage
most
"最")
domainEnglishFormat.kif 38667-38667
(
termFormat
ChineseTraditionalLanguage
most
"最")
domainEnglishFormat.kif 38666-38666
(
termFormat
EnglishLanguage
most
"most")
domainEnglishFormat.kif 38665-38665
antecedent
(=>
(
most
?MOST ?WHOLE)
(
exists
(?HALF ?NUMBER1 ?NUMBER2 ?UNIT)
(
and
(
half
?HALF ?WHOLE)
(
measure
?HALF
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?MOST
(
MeasureFn
?NUMBER2 ?UNIT))
(
greaterThan
?NUMBER2 ?NUMBER1))))
Mid-level-ontology.kif 13220-13227
If
an object
is
most
of
another object
,
then there exist
a third object
,
a real number
,, ,
another real number
and
an unit of measure
such that
the third object
is
half
of
the other object
and the
measure
of
the third object
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
consequent
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
If
an object
is an
instance
of
iceberg
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
ice
and
the other object
is
most
of
the object
and
the third object
is an
instance
of
body of water
and
the third object
covers
the other object
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
If
an object
is an
instance
of
shoal
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
land form
and
the other object
is
most
of
the object
and
the third object
is an
instance
of
body of water
and
the third object
covers
the other object
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