TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Gel EnglishLanguage "A Gel is a Colloid which has a property lies between a Solid and a Liquid. Cheese and AloeveraGel are examples.")	Mid-level-ontology.kif 23886-23887
(subclass Gel Colloid)	Mid-level-ontology.kif 23888-23888	Gel is a subclass of colloid

appearance as argument number 2

(subclass AloveraGel Gel)	Economy.kif 6661-6661	Alovera gel is a subclass of gel
(subclass Curd Gel)	Food.kif 3169-3169	Curd is a subclass of gel
(subclass Cheese Gel)	Food.kif 3291-3291	Cheese is a subclass of gel
(termFormat EnglishLanguage Gel "gel")	domainEnglishFormat.kif 25636-25636	Cheese is a subclass of gel
(termFormat ChineseTraditionalLanguage Gel "凝膠")	domainEnglishFormat.kif 25637-25637	Cheese is a subclass of gel
(termFormat ChineseLanguage Gel "凝胶")	domainEnglishFormat.kif 25638-25638	Cheese is a subclass of gel

consequent

(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))

If X is an instance of colloid, solid is an attribute of X, fluid is an attribute of X, and equal X and Y, then Y is an instance of gel