Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cellulose(cellulose) |  | cellulose |
| appearance as argument number 1 |
|
|
| (subclass Cellulose PlantSubstance) | Mid-level-ontology.kif 10716-10716 | Cellulose is a subclass of plant substance |
| (subclass Cellulose Carbohydrate) | Mid-level-ontology.kif 10717-10717 | Cellulose is a subclass of carbohydrate |
| (documentation Cellulose EnglishLanguage "The main component of Plant Tissue.") | Mid-level-ontology.kif 10718-10718 | Cellulose is a subclass of carbohydrate |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X Paper) (exists (?MAKE ?CELL ?PRESS) (and (instance ?MAKE Making) (instance ?CELL Cellulose) (instance ?PRESS Compressing) (resource ?MAKE ?CELL) (result ?MAKE ?X) (subProcess ?MAKE ?PRESS) (patient ?PRESS ?CELL)))) |
Mid-level-ontology.kif 4208-4218 | If X is an instance of paper, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) Z is an instance of cellulose (4) W is an instance of compressing (5) Z is a resource for Y (6) X is a result of Y (7) Y is a subprocess of W (8) Z is a patient of W |
| (=> (instance ?X Wood) (exists (?CELL) (and (instance ?CELL Cellulose) (part ?CELL ?X)))) |
Mid-level-ontology.kif 10546-10551 | If X is an instance of wood, then there exists Y such that Y is an instance of cellulose and Y is a part of X |
|