TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8799
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	子類生理鹽水 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 12384-12384	子類淚液 and 生理鹽水
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50939-50939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50938-50938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50937-50937

antecedent

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

Mid-level-ontology.kif 8801-8807

consequent

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

Medicine.kif 1106-1111