TreeView Knowledge Base Browser - FatTissue

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FatTissue

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3530-3530
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15236-15237
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8482-8482
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9205-9205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15235-15235	Fat tissue is a subclass of connective tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1028-1028
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1268-1268
No TPTP formula. May not be expressible in strict first order.	french_format.kif 706-706
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 237-237
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 240-240
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2389-2389
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 658-658
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 727-727
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 241-241

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 2890-2899

If an entity is an instance of lard,
then there exist a process, an object and another object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of fat tissue and the object is a part of the other object and the other object is an instance of pork and the entity is a result of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners