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
molecularRatio
Sigma KEE - molecularRatio
molecularRatio
appearance as argument number 1
(
documentation
molecularRatio
EnglishLanguage
"The number of molecules of a particular
ElementalSubstance
in a given
CompoundSubstance
.")
Cars.kif 1772-1773
(
domain
molecularRatio
2
Integer
)
Cars.kif 1775-1775
(
domainSubclass
molecularRatio
1
ElementalSubstance
)
Cars.kif 1774-1774
(
domainSubclass
molecularRatio
3
CompoundSubstance
)
Cars.kif 1776-1776
(
instance
molecularRatio
TernaryPredicate
)
Cars.kif 1769-1769
appearance as argument number 2
(
format
EnglishLanguage
molecularRatio
"the number of molecules of %1 in a molecule of %3 is %n %2")
Cars.kif 1770-1771
(
termFormat
EnglishLanguage
molecularRatio
"molecular ratio")
domainEnglishFormat.kif 65880-65880
antecedent
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1778-1792
appearance as argument number 0
(
molecularRatio
Calcium
1
CalciumChloride
)
Medicine.kif 5866-5866
(
molecularRatio
Carbon
1
Freon12
)
Cars.kif 1810-1810
(
molecularRatio
Carbon
3
SodiumLactate
)
Medicine.kif 5877-5877
(
molecularRatio
Chlorine
1
PotassiumChloride
)
Medicine.kif 5872-5872
(
molecularRatio
Chlorine
1
SodiumChloride
)
Medicine.kif 5868-5868
(
molecularRatio
Chlorine
2
CalciumChloride
)
Medicine.kif 5865-5865
(
molecularRatio
Chlorine
2
Freon12
)
Cars.kif 1811-1811
(
molecularRatio
Fluorine
2
Freon12
)
Cars.kif 1812-1812
(
molecularRatio
Hydrogen
2
SulfuricAcid
)
Cars.kif 2497-2497
(
molecularRatio
Hydrogen
5
SodiumLactate
)
Medicine.kif 5878-5878
(
molecularRatio
Nitrogen
1
NitricOxide
)
Geography.kif 7213-7213
(
molecularRatio
Nitrogen
1
NitrogenDioxide
)
Geography.kif 7238-7238
(
molecularRatio
Oxygen
1
NitricOxide
)
Geography.kif 7214-7214
(
molecularRatio
Oxygen
2
NitrogenDioxide
)
Geography.kif 7239-7239
(
molecularRatio
Oxygen
2
SulphurDioxide
)
Geography.kif 7179-7179
(
molecularRatio
Oxygen
3
SodiumLactate
)
Medicine.kif 5879-5879
(
molecularRatio
Oxygen
4
SulfuricAcid
)
Cars.kif 2499-2499
(
molecularRatio
Potassium
1
PotassiumChloride
)
Medicine.kif 5873-5873
(
molecularRatio
Sodium
1
SodiumChloride
)
Medicine.kif 5869-5869
(
molecularRatio
Sodium
1
SodiumLactate
)
Medicine.kif 5876-5876
(
molecularRatio
Sulphur
1
SulfuricAcid
)
Cars.kif 2498-2498
(
molecularRatio
Sulphur
1
SulphurDioxide
)
Geography.kif 7178-7178
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