TreeView Knowledge Base Browser - ChemicalSalt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChemicalSalt

ChemicalSalt(salt)

citrate, dibasic_salt, ferrocyanide, iodide, lactate, polyphosphate, pyrophosphate, salt, sulfonate, urate, xanthate

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 salt and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8742-8742	Salt is a subclass of compound substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5864-5864	CalciumChloride is a subclass of salt
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5871-5871	PotassiumChloride is a subclass of salt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8746-8746	Salt is a subclass of salt
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5875-5875	SodiumLactate is a subclass of salt
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

If an entity is an instance of chemical acid and another entity is an instance of chemical base and a process is an instance of chemical process and the entity is a patient of the process and the other entity is a patient of the process,
then there exists the processS such that the processS is an instance of salt and the processS is a result of the process

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