TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ChemicalSalt CompoundSubstance)	Mid-level-ontology.kif 10109-10109	Salt is a subclass of compound substance
(documentation ChemicalSalt EnglishLanguage "A bitter CompoundSubstance that is formed in a chemical reaction of a ChemicalBase with a ChemicalAcid.")	Mid-level-ontology.kif 10110-10111	Salt is a subclass of compound substance
(roomTempState ChemicalSalt Solid)	Mid-level-ontology.kif 34043-34043	room temperature state salt and solid
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg")	pictureList.kif 6833-6833	room temperature state salt and solid
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg")	pictureList.kif 7778-7778	room temperature state salt and solid

appearance as argument number 2

(subclass SodiumChloride ChemicalSalt)	Mid-level-ontology.kif 10113-10113	Salt is a subclass of salt
(subclass CalciumChloride ChemicalSalt)	Medicine.kif 5892-5892	Calcium chloride is a subclass of salt
(subclass PotassiumChloride ChemicalSalt)	Medicine.kif 5900-5900	Potassium chloride is a subclass of salt
(subclass SodiumLactate ChemicalSalt)	Medicine.kif 5905-5905	Sodium lactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "chemical salt")	domainEnglishFormat.kif 14334-14334	Sodium lactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽")	domainEnglishFormat.kif 14335-14335	Sodium lactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐")	domainEnglishFormat.kif 14336-14336	Sodium lactate is a subclass of salt
(termFormat EnglishLanguage ChemicalSalt "salt")	domainEnglishFormat.kif 50986-50986	Sodium lactate is a subclass of salt
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽")	domainEnglishFormat.kif 50987-50987	Sodium lactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "盐")	domainEnglishFormat.kif 50988-50988	Sodium lactate is a subclass of salt

consequent

(=>
    (and
        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
        (and
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))

If X is an instance of acid, Y is an instance of chemical base, Z is an instance of chemical process, X is a patient of Z, and Y is a patient of Z, then there exists W such that W is an instance of salt and W is a result of Z