Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  molecularRatio

 Sigma KEE - molecularRatio
molecularRatio

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1766-1767
No TPTP formula. May not be expressible in strict first order. Cars.kif 1769-1769 Le nombre 2 argument de molecularRatio est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Cars.kif 1768-1768 Le nombre 1 argument de molecularRatio est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Cars.kif 1770-1770 Le nombre 3 argument de molecularRatio est une sous-classe de substance compos�e
No TPTP formula. May not be expressible in strict first order. Cars.kif 1763-1763 molecularRatio est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1764-1765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65880-65880

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1772-1786

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5866-5866 molecularRatio Calcium, 1 and CalciumChloride
No TPTP formula. May not be expressible in strict first order. Cars.kif 1804-1804 molecularRatio Carbon, 1 and Freon12
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5877-5877 molecularRatio Carbon, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5872-5872 molecularRatio Chlorine, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5868-5868 molecularRatio Chlorine, 1 and SodiumChloride
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5865-5865 molecularRatio Chlorine, 2 and CalciumChloride
No TPTP formula. May not be expressible in strict first order. Cars.kif 1805-1805 molecularRatio Chlorine, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Cars.kif 1806-1806 molecularRatio Fluorine, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Cars.kif 2491-2491 molecularRatio Hydrogen, 2 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5878-5878 molecularRatio Hydrogen, 5 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Geography.kif 7213-7213 molecularRatio Nitrogen, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7238-7238 molecularRatio Nitrogen, 1 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7214-7214 molecularRatio Oxygen, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7239-7239 molecularRatio Oxygen, 2 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7179-7179 molecularRatio Oxygen, 2 and SulphurDioxide
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5879-5879 molecularRatio Oxygen, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Cars.kif 2493-2493 molecularRatio Oxygen, 4 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5873-5873 molecularRatio Potassium, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5869-5869 molecularRatio Sodium, 1 and SodiumChloride
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5876-5876 molecularRatio Sodium, 1 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Cars.kif 2492-2492 molecularRatio Sulphur, 1 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order. Geography.kif 7178-7178 molecularRatio Sulphur, 1 and SulphurDioxide


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners