Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FatTissue
FatTissue

appearance as argument number 1
-------------------------


(documentation FatTissue ChineseLanguage "这是大致由脂肪细胞所组成的非坚硬 Tissue。") chinese_format.kif 3530-3530
(documentation FatTissue EnglishLanguage "Nonrigid Tissue that is composed largely of fat cells.") Merge.kif 15236-15237
(externalImage FatTissue "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fatmouse.jpg") pictureList.kif 8482-8482
(externalImage FatTissue "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Trimyristin-3D-vdW.png") pictureList.kif 9205-9205
(subclass FatTissue ConnectiveTissue) Merge.kif 15235-15235

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage FatTissue "脂肪组织") chinese_format.kif 1028-1028
(termFormat EnglishLanguage FatTissue "fat tissue") english_format.kif 1268-1268
(termFormat FrenchLanguage FatTissue "tissu gras") french_format.kif 706-706
(termFormat Hindi FatTissue "vasaa Utaka") terms-hindi.txt 237-237
(termFormat ItalianLanguage FatTissue "TessutoGrasso") terms-it.txt 240-240
(termFormat JapaneseLanguage FatTissue "脂肪組織") japanese_format.kif 2389-2389
(termFormat PortugueseLanguage FatTissue "Tecido Gorduroso") portuguese_format.kif 658-658
(termFormat cz FatTissue "fat tissue") terms-cz.txt 275-275
(termFormat ro FatTissue "þesut gras") relations-ro.kif 727-727
(termFormat tg FatTissue "taba ng laman") terms-tg.txt 241-241

antecedent
-------------------------


(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))
Food.kif 2876-2882
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914

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 2890-2899


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



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