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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Phosphate

 Sigma KEE - Phosphate
Phosphate
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2047-2048
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6764-6764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7537-7537
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7538-7538
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7539-7539
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7540-7540
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7541-7541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31631-31631 roomTempState Phosphate and Solid
No TPTP formula. May not be expressible in strict first order. Geography.kif 2044-2044 Phosphate est une sous-classe de substance compos�e

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2045-2045 Phosphate s'appele nom "phosphate"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45612-45612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45611-45611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45610-45610


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