Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| molecularRatio |
| appearance as argument number 1 |
|
| (instance molecularRatio TernaryPredicate) | Mid-level-ontology.kif 23999-23999 | molecular ratio is an instance of ternary predicate |
| (documentation molecularRatio EnglishLanguage "The number of molecules of a particular ElementalSubstance in a given CompoundSubstance.") | Mid-level-ontology.kif 24002-24003 | molecular ratio is an instance of ternary predicate |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Mid-level-ontology.kif 24004-24004 | The number 1 argument of molecular ratio is a subclass of elemental substance |
| (domain molecularRatio 2 Integer) | Mid-level-ontology.kif 24005-24005 | The number 2 argument of molecular ratio is an instance of integer |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 24006-24006 | The number 3 argument of molecular ratio is a subclass of compound substance |
| 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 24000-24001 | |
| (termFormat EnglishLanguage molecularRatio "molecular ratio") | domainEnglishFormat.kif 65899-65899 |
| antecedent |
|
|
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (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 24008-24021 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) ~{ Z is an instance of Y } or ~{ Z is a part of X } (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U |
| appearance as argument number 0 |
|
|
|