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 | O argumento numero 2 de molecularRatio e' uma instancia de Numero Inteiro |
(domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 21762-21762 | O argumento numero 1 de molecularRatio e' uma sub-classe de Substancia Elementar |
(domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 21764-21764 | O argumento numero 3 de molecularRatio e' uma sub-classe de Substancia Composta |
(instance molecularRatio TernaryPredicate) | Mid-level-ontology.kif 21757-21757 | molecularRatio e' uma instancia de Predicado Ternario |
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 |