|
|
   Gel
|
|
|
| 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 is a subclass of colloid |
| appearance as argument number 2 |
|
|
| (subclass AloveraGel Gel) | Economy.kif 6237-6237 | AloveraGel is a subclass of gel |
| (subclass Cheese Gel) | Food.kif 3259-3259 | Cheese is a subclass of gel |
| (subclass Curd Gel) | Food.kif 3139-3139 | Curd is a subclass of 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 |
|
|
|
|