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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SulfuricAcid

 Sigma KEE - SulfuricAcid
SulfuricAcid(sulfuric acid)oil_of_vitriol, sulfuric_acid, sulphuric_acid, vitriol

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2487-2495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31654-31654 roomTempState sulfuric acid and liquid
No TPTP formula. May not be expressible in strict first order. Cars.kif 2485-2485 Sulfuric acid is a subclass of chemical acid

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


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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2497-2497 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. Cars.kif 2499-2499 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 2498-2498 The number of molecules of sulphur in a molecule of sulfuric acid is 1


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