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 | Die Zahl 2 Argument von molecularRatio ist ein fall von Integer %n{nicht} |
(domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1768-1768 | Die Zahl 1 Argument von molecularRatio ist eine teilkategorie von ElementalSubstance %n{nicht} |
(domainSubclass molecularRatio 3 CompoundSubstance) | Cars.kif 1770-1770 | Die Zahl 3 Argument von molecularRatio ist eine teilkategorie von CompoundSubstance %n{nicht} |
(instance molecularRatio TernaryPredicate) | Cars.kif 1763-1763 | molecularRatio ist ein fall von TernaryPredicate %n{nicht} |
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 |