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 23350-23351 | |
(domain molecularRatio 2 Integer) | Mid-level-ontology.kif 23353-23353 | |
(domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 23352-23352 | |
(domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 23354-23354 | |
(instance molecularRatio TernaryPredicate) | Mid-level-ontology.kif 23347-23347 |
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 23348-23349 | |
(termFormat EnglishLanguage molecularRatio "molecular ratio") | domainEnglishFormat.kif 65890-65890 |
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 23356-23370 |
appearance as argument number 0 |
![]() |
![]() |
![]() |