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
.")
Mid-level-ontology.kif 21760-21761
(
domain
molecularRatio
2
Integer
)
Mid-level-ontology.kif 21763-21763
(
domainSubclass
molecularRatio
1
ElementalSubstance
)
Mid-level-ontology.kif 21762-21762
(
domainSubclass
molecularRatio
3
CompoundSubstance
)
Mid-level-ontology.kif 21764-21764
(
instance
molecularRatio
TernaryPredicate
)
Mid-level-ontology.kif 21757-21757
appearance as argument number 2
(
format
EnglishLanguage
molecularRatio
"the number of molecules of %1 in a molecule of %3 is %n %2")
Mid-level-ontology.kif 21758-21759
(
termFormat
EnglishLanguage
molecularRatio
"molecular ratio")
domainEnglishFormat.kif 65882-65882
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))
Mid-level-ontology.kif 21766-21780
appearance as argument number 0
(
molecularRatio
Calcium
1
CalciumChloride
)
Medicine.kif 5866-5866
(
molecularRatio
Carbon
1
Freon12
)
Cars.kif 1787-1787
(
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 1788-1788
(
molecularRatio
Fluorine
2
Freon12
)
Cars.kif 1789-1789
(
molecularRatio
Hydrogen
2
SulfuricAcid
)
Cars.kif 2474-2474
(
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 2476-2476
(
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 2475-2475
(
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