Gel - Sigma 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 21612-21613
(subclass Gel Colloid)	Mid-level-ontology.kif 21614-21614	Gel ist eine teilkategorie von Colloid

appearance as argument number 2

(subclass AloveraGel Gel)	Economy.kif 6237-6237	AloveraGel ist eine teilkategorie von Gel
(subclass Cheese Gel)	Food.kif 3259-3259	Cheese ist eine teilkategorie von Gel
(subclass Curd Gel)	Food.kif 3139-3139	Curd ist eine teilkategorie von Gel
(termFormat ChineseLanguage Gel "凝胶")	domainEnglishFormat.kif 25634-25634
(termFormat ChineseTraditionalLanguage Gel "凝膠")	domainEnglishFormat.kif 25633-25633
(termFormat EnglishLanguage Gel "gel")	domainEnglishFormat.kif 25632-25632

consequent

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

Mid-level-ontology.kif 21616-21622

Wenn Object ist ein fall von Colloid %n{nicht} und Solid ist ein attribut von ** Object %n{nicht} und Fluid ist ein attribut von ** Object %n{nicht} und ** Object ist gleich Entity %n{nicht},
dann ** Entity ist ein fall von Gel %n{nicht}