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 13201-13202
(
instance
half
BinaryPredicate
)
Mid-level-ontology.kif 13200-13200
half
è un'
istanza
di
PredicatoBinario
(
subrelation
half
part
)
Mid-level-ontology.kif 13199-13199
half
è una
sottorelazione
di
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 13204-13210
half
Oggetto
and
Oggetto
Oggetto
half
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
is
uguale
a l'
unione
delle parti di
Oggetto
e
Oggetto
consequent
(<=>
(
quarter
?Q ?W)
(
exists
(?H)
(
and
(
half
?H ?W)
(
half
?Q ?H))))
Mid-level-ontology.kif 13235-13240
quarter
Oggetto
and
Oggetto
Oggetto
half
Oggetto
and
Oggetto
half
Oggetto
and
Oggetto
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26593-26600
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
HemisphereFigure
Oggetto
Oggetto
è un'
istanza
di
Sphere
half
Oggetto
and
Oggetto
(=>
(
half
?HALF ?WHOLE)
(
exists
(?OTHER)
(
and
(
half
?OTHER ?WHOLE)
(
not
(
equal
?OTHER ?HALF))
(
equal
?WHOLE
(
MereologicalSumFn
?HALF ?OTHER)))))
Mid-level-ontology.kif 13204-13210
half
Oggetto
and
Oggetto
Oggetto
half
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
is
uguale
a l'
unione
delle parti di
Oggetto
e
Oggetto
(=>
(
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 13247-13254
most
Oggetto
and
Oggetto
Oggetto
NumeroReale
,
NumeroReale
and
Unit�DiMisura
half
Oggetto
and
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
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