| 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 | molecularRatio 的 2 数量 是 整数 的 instance |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 21762-21762 | molecularRatio 的 1 数量 是 元素物质 的 subclass |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 21764-21764 | molecularRatio 的 3 数量 是 复合物质 的 subclass |
| (instance molecularRatio TernaryPredicate) | Mid-level-ontology.kif 21757-21757 | molecularRatio 是 三元谓语 的 instance |
| 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 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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