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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalSalt

 Sigma KEE - ChemicalSalt
ChemicalSalt(盐)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8743-8744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6834-6834
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7779-7779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31577-31577 roomTempState 盐 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8742-8742 盐 是 复合物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5864-5864 CalciumChloride 是 盐 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5871-5871 PotassiumChloride 是 盐 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8746-8746 盐 是 盐 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5875-5875 SodiumLactate 是 盐 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14334-14334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50991-50991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14333-14333
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50990-50990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14332-14332
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50989-50989

consequent
-------------------------


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


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