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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - sheddingBodyPart

appearance as argument number 1

(documentation sheddingBodyPart EnglishLanguage "A relation between an Organisim and its BodyPart which is given off as part of the normal process of life.") Geography.kif 6450-6451
(domain sheddingBodyPart 1 Organism) Geography.kif 6448-6448 sheddingBodyPart 的 1 数量 是 生物instance
(domain sheddingBodyPart 2 BodyPart) Geography.kif 6449-6449 sheddingBodyPart 的 2 数量 是 身体部位instance
(instance sheddingBodyPart SheddingPart) Geography.kif 6447-6447 sheddingBodyPartSheddingPartinstance

appearance as argument number 2

(format EnglishLanguage sheddingBodyPart "%1 is Removing %2 from its body") domainEnglishFormat.kif 5009-5009
(termFormat EnglishLanguage sheddingBodyPart "shedding body part") domainEnglishFormat.kif 65935-65935


        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))
Geography.kif 6473-6477
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))
Geography.kif 6461-6465
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))
Geography.kif 6467-6471
    (sheddingBodyPart ?O ?P)
    (exists (?M)
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))
Geography.kif 6453-6459

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