Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
FatTissue(fat tissue)
|  | Chinese_wood_oil, Dippel's_oil, adipose, adipose_tissue, animal_fat, atheroma, blubber, bone_fat, bone_oil, cellulite, cocoa_butter, dolphin_oil, fat, fatty, fatty_oil, fatty_tissue, fixed_oil, flab, flaxseed_oil, greasy, halibut-liver_oil, lanolin, lard_oil, leaf_fat, leaf_lard, linseed_oil, medulla, menhaden_oil, mutton_tallow, myelin, myeline, neroli_oil, oily, oleaginous, oleo_oil, porpoise_oil, puppy_fat, salmon_oil, sardine_oil, seal_oil, sebaceous, shark-liver_oil, shark_oil, sperm_oil, stand_oil, suety, tall_oil, tallow, tallow_oil, train_oil... |
| appearance as argument number 1 |
|
|
| (subclass FatTissue ConnectiveTissue) | Merge.kif 15531-15531 | Fat tissue is a subclass of connective tissue |
| (documentation FatTissue EnglishLanguage "Nonrigid Tissue that is composed largely of fat cells.") | Merge.kif 15532-15533 | Fat tissue is a subclass of connective tissue |
| (externalImage FatTissue "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fatmouse.jpg") | pictureList.kif 8481-8481 | Fat tissue is a subclass of connective tissue |
| (externalImage FatTissue "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Trimyristin-3D_vdW.png") | pictureList.kif 9204-9204 | Fat tissue is a subclass of connective tissue |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FatTissue "fat tissue") | english_format.kif 1272-1272 |
| antecedent |
|
|
| (=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal)) |
Food.kif 2905-2911 | If equal X and Object made from Y, X is a subclass of animal fat, and Y is a subclass of fat tissue, then every Y is initially part of a animal |
| (=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2935-2943 | If equal X and Object made from Y, X is a subclass of suet, and Y is a subclass of fat tissue, then every Y is initially part of a cattle or every Y is initially part of a sheep |
| consequent |
|
|
| (=> (instance ?L Lard) (exists (?H ?F ?P) (and (instance ?H Heating) (patient ?H ?F) (instance ?F FatTissue) (part ?F ?P) (instance ?P Pork) (result ?H ?L)))) |
Food.kif 2919-2928 | If X is an instance of lard, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of fat tissue (5) Z is a part of W (6) W is an instance of pork (7) X is a result of Y |
|