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	子類生理鹽水 and Solution

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2848-2848	子類 BrackishWater and 生理鹽水
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2868-2868	子類 Brine and 生理鹽水
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2821-2821	子類 SeaWater and 生理鹽水
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12357-12357	子類淚液 and 生理鹽水
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