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
amount
Sigma KEE - amount
amount
appearance as argument number 1
(
documentation
amount
EnglishLanguage
"The
MassMeasure
of a type of
Substance
in an
Object
.")
Merge.kif 7591-7592
(
domain
amount
2
CorpuscularObject
)
Merge.kif 7594-7594
Le nombre 2 argument de
amount
est une
instance
de
objet corpusculaire
(
domain
amount
3
MassMeasure
)
Merge.kif 7595-7595
Le nombre 3 argument de
amount
est une
instance
de
mesure de masse
(
domainSubclass
amount
1
Substance
)
Merge.kif 7593-7593
Le nombre 1 argument de
amount
est une
sous
-classe de
substance
(
instance
amount
TernaryPredicate
)
Merge.kif 7590-7590
amount
est une
instance
de
pr�dicat ternaire
appearance as argument number 2
(
termFormat
EnglishLanguage
amount
"amount")
domainEnglishFormat.kif 65779-65779
antecedent
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7597-7612
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
Processus
est une
instance
de
PerniciousAnemia
AutonomousAgent
exp
�rimente
processus
amount
VitaminB12
,
AutonomousAgent
and
nombre r�el
unit� de mesure
(s)
amount
VitaminB12
,
objet corpusculaire
and
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet corpusculaire
AutonomousAgent
est
objet corpusculaire
nombre r�el
est
plus
grand
que
nombre r�el
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