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. Cars.kif 1762-1763
No TPTP formula. May not be expressible in strict first order. Cars.kif 1765-1765 The number 2 argument of molecularRatio is an instance of integer
No TPTP formula. May not be expressible in strict first order. Cars.kif 1764-1764 The number 1 argument of molecularRatio is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1766-1766 The number 3 argument of molecularRatio is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1759-1759 molecularRatio is an instance of ternary relation

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1760-1761

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1768-1782

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1800-1800 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. Cars.kif 1801-1801 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 1802-1802 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 2478-2478 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. Geography.kif 6551-6551 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 6576-6576 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 6552-6552 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 6577-6577 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 6517-6517 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. Cars.kif 2480-2480 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. Cars.kif 2479-2479 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 6516-6516 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners