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 8770-8771
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 31609-31609 roomTempState and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8769-8769 子類 and CompoundSubstance

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5864-5864 子類 CalciumChloride and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5871-5871 子類 PotassiumChloride and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8773-8773 子類 and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5875-5875 子類 SodiumLactate and
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 50993-50993
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 50992-50992
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 50991-50991

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


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


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