SalineSolution - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8771-8772
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8770-8770	Saline solution is a subclass of solution

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2848-2848	Brackish water is a subclass of saline solution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2868-2868	Brine is a subclass of saline solution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2821-2821	Sea water is a subclass of saline solution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12357-12357	Tear substance is a subclass of saline solution
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50937-50937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50936-50936
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50935-50935

antecedent

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

Mid-level-ontology.kif 8774-8780

consequent

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

Medicine.kif 1106-1111