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

Formal Language: 


KB Term:  Term intersection
English Word: 

  sheddingBodyPart

 Sigma KEE - sheddingBodyPart
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 6753-6754
(domain sheddingBodyPart 1 Organism) Geography.kif 6751-6751
(domain sheddingBodyPart 2 BodyPart) Geography.kif 6752-6752
(instance sheddingBodyPart SheddingPart) Geography.kif 6750-6750

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


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

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


(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))		 Geography.kif 6776-6780
(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))		 Geography.kif 6764-6768
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))		 Geography.kif 6770-6774
(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))		 Geography.kif 6756-6762


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