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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - molecularRatio
molecularRatio

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23350-23351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23353-23353 The number 2 argument of molecular ratio is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23352-23352 The number 1 argument of molecular ratio is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23354-23354 The number 3 argument of molecular ratio is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23347-23347 molecular ratio is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23348-23349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65890-65890

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23356-23370

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5881-5881 The number of molecules of calcium in a molecule of calcium chloride is 1
No TPTP formula. May not be expressible in strict first order. Cars.kif 1788-1788 The number of molecules of carbon in a molecule of freon-12 is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5894-5894 The number of molecules of carbon in a molecule of sodium lactate is 3
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5888-5888 The number of molecules of chlorine in a molecule of potassium chloride is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5883-5883 The number of molecules of chlorine in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5880-5880 The number of molecules of chlorine in a molecule of calcium chloride is 2
No TPTP formula. May not be expressible in strict first order. Cars.kif 1789-1789 The number of molecules of chlorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order. Cars.kif 1790-1790 The number of molecules of fluorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order. Cars.kif 2475-2475 The number of molecules of hydrogen in a molecule of sulfuric acid is 2
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5895-5895 The number of molecules of hydrogen in a molecule of sodium lactate is 5
No TPTP formula. May not be expressible in strict first order. Geography.kif 7379-7379 The number of molecules of nitrogen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 7404-7404 The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7380 The number of molecules of oxygen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 7405-7405 The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
No TPTP formula. May not be expressible in strict first order. Geography.kif 7345-7345 The number of molecules of oxygen in a molecule of sulphur dioxide is 2
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5896-5896 The number of molecules of oxygen in a molecule of sodium lactate is 3
No TPTP formula. May not be expressible in strict first order. Cars.kif 2477-2477 The number of molecules of oxygen in a molecule of sulfuric acid is 4
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5889-5889 The number of molecules of potassium in a molecule of potassium chloride is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5884-5884 The number of molecules of sodium in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5893-5893 The number of molecules of sodium in a molecule of sodium lactate is 1
No TPTP formula. May not be expressible in strict first order. Cars.kif 2476-2476 The number of molecules of sulphur in a molecule of sulfuric acid is 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 7344-7344 The number of molecules of sulphur in a molecule of sulphur dioxide is 1


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 3.0 is open source software produced by Articulate Software and its partners