ChemicalSalt - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 ChemicalSalt and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8769-8769	ChemicalSalt e' uma sub-classe de Substancia Composta

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5864-5864	CalciumChloride e' uma sub-classe de ChemicalSalt
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5871-5871	PotassiumChloride e' uma sub-classe de ChemicalSalt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8773-8773	SodiumChloride e' uma sub-classe de ChemicalSalt
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5875-5875	SodiumLactate e' uma sub-classe de ChemicalSalt
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

Entidade e' uma instancia de ChemicalAcid Entidade e' uma instancia de ChemicalBase Processo e' uma instancia de Processo Quimico Entidade e' um patient de Processo Entidade e' um patient de Processo
ProcessoS ProcessoS e' uma instancia de ChemicalSalt ProcessoS e' o resultado de Processo

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 3.0 is open source software produced by Articulate Software and its partners