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 1766-1767
(
domain
molecularRatio
2
Integer
)
Cars.kif 1769-1769
(
domainSubclass
molecularRatio
1
ElementalSubstance
)
Cars.kif 1768-1768
(
domainSubclass
molecularRatio
3
CompoundSubstance
)
Cars.kif 1770-1770
(
instance
molecularRatio
TernaryPredicate
)
Cars.kif 1763-1763
appearance as argument number 2
(
format
EnglishLanguage
molecularRatio
"the number of molecules of %1 in a molecule of %3 is %n %2")
Cars.kif 1764-1765
(
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 1772-1786
appearance as argument number 0
(
molecularRatio
Calcium
1
CalciumChloride
)
Medicine.kif 5866-5866
(
molecularRatio
Carbon
1
Freon12
)
Cars.kif 1804-1804
(
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 1805-1805
(
molecularRatio
Fluorine
2
Freon12
)
Cars.kif 1806-1806
(
molecularRatio
Hydrogen
2
SulfuricAcid
)
Cars.kif 2491-2491
(
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 2493-2493
(
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 2492-2492
(
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