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
half
Sigma KEE - half
half
appearance as argument number 1
(
documentation
half
EnglishLanguage
"(
half
?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.")
Mid-level-ontology.kif 13173-13174
(
instance
half
BinaryPredicate
)
Mid-level-ontology.kif 13172-13172
half
is an
instance
of
binary predicate
(
subrelation
half
part
)
Mid-level-ontology.kif 13171-13171
half
is a
subrelation
of
part
appearance as argument number 2
(
format
ChineseLanguage
half
"%1 是 %2 的
half
")
domainEnglishFormat.kif 3594-3594
(
format
ChineseTraditionalLanguage
half
"%1 是 %2 的
half
")
domainEnglishFormat.kif 3593-3593
(
format
EnglishLanguage
half
"%1 is
half
of %2")
domainEnglishFormat.kif 3592-3592
(
termFormat
ChineseLanguage
half
"半")
domainEnglishFormat.kif 27258-27258
(
termFormat
ChineseTraditionalLanguage
half
"半")
domainEnglishFormat.kif 27257-27257
(
termFormat
EnglishLanguage
half
"half")
domainEnglishFormat.kif 27256-27256
antecedent
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13176-13182
If
an object
is
half
of
another object
,
then there exists
a third object
such that
the third object
is
half
of
the other object
and
the third object
is not
equal
to
the object
and
the other object
is
equal
to the
union
of the parts of
the object
and
the third object
consequent
(<=>
(
quarter
?Q ?W)
(
exists
(?H)
(
and
(
half
?H ?W)
(
half
?Q ?H))))
Mid-level-ontology.kif 13207-13212
An object
is a
quarter
of
another object
if and only if there exists
a third object
such that
the third object
is
half
of
the other object
and
the object
is
half
of
the third object
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26548-26555
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
hemisphere
,
then there exists
another object
such that
the other object
is an
instance
of
sphere
and
the object
is
half
of
the other object
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13176-13182
If
an object
is
half
of
another object
,
then there exists
a third object
such that
the third object
is
half
of
the other object
and
the third object
is not
equal
to
the object
and
the other object
is
equal
to the
union
of the parts of
the object
and
the third object
(=>
(
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 13219-13226
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
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