| appearance as argument number 1 |
|
| (documentation molecularRatio EnglishLanguage "The number of molecules of a particular ElementalSubstance in a given CompoundSubstance.") | Cars.kif 1761-1762 | |
| (domain molecularRatio 2 Integer) | Cars.kif 1764-1764 | |
| (domainSubclass molecularRatio 1 ElementalSubstance) | Cars.kif 1763-1763 | |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Cars.kif 1765-1765 | |
| (instance molecularRatio TernaryRelation) | Cars.kif 1758-1758 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") | Cars.kif 1759-1760 |
| 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 1767-1781 |
| appearance as argument number 0 |
|
|
| (molecularRatio Carbon 1 Freon12) | Cars.kif 1799-1799 | |
| (molecularRatio Chlorine 2 Freon12) | Cars.kif 1800-1800 | |
| (molecularRatio Fluorine 2 Freon12) | Cars.kif 1801-1801 | |
| (molecularRatio Hydrogen 2 SulfuricAcid) | Cars.kif 2477-2477 | |
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 6535-6535 | |
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 6560-6560 | |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 6536-6536 | |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 6561-6561 | |
| (molecularRatio Oxygen 2 SulphurDioxide) | Geography.kif 6501-6501 | |
| (molecularRatio Oxygen 4 SulfuricAcid) | Cars.kif 2479-2479 | |
| (molecularRatio Sulphur 1 SulfuricAcid) | Cars.kif 2478-2478 | |
| (molecularRatio Sulphur 1 SulphurDioxide) | Geography.kif 6500-6500 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners