Insoluble - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Insoluble

Insoluble(insoluble)

indissoluble, insoluble, non-water-soluble, water-insoluble

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7708-7709
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7704-7706
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7715-7715	Insoluble is a subclass of solubility attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7687-7687	Soluble is the opposite of insoluble
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7713-7713	Soluble is the opposite of insoluble
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7711-7711	Soluble is the opposite of insoluble

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 7717-7729

If an object is an instance of substance and insoluble is an attribute of the object,
then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity doesn't have the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23176-23185

If an object is an instance of colloid,
then there exist a self connected object and a real number such that the self connected object is a part of the object and insoluble is an attribute of the self connected object and the approximate diameter of the self connected object is the real number nanometer(s) and 977.0 is greater than the real number and the real number is greater than 0.95

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