molecularRatio |
appearance as argument number 1 |
(documentation molecularRatio EnglishLanguage "The number of molecules of a particular ElementalSubstance in a given CompoundSubstance.") | Cars.kif 1772-1773 | |
(domain molecularRatio 2 Integer) | Cars.kif 1775-1775 | Il numero 2 argomenti di molecularRatio è un istanza di NumeroIntero |
(domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1774-1774 | Il numero 1 argomento molecularRatio è una sottoclasse diSostanzaElementare |
(domainSubclass molecularRatio 3 CompoundSubstance) | Cars.kif 1776-1776 | Il numero 3 argomento molecularRatio è una sottoclasse diComposto |
(instance molecularRatio TernaryPredicate) | Cars.kif 1769-1769 | molecularRatio è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") | Cars.kif 1770-1771 | |
(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 1778-1792 |
|
appearance as argument number 0 |