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


KB Term:  Term intersection
English Word: 

  sheddingBodyPart

 Sigma KEE - sheddingBodyPart
sheddingBodyPart

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


(instance sheddingBodyPart SheddingPart) Geography.kif 8072-8072 shedding body part is an instance of shedding part
(domain sheddingBodyPart 1 Organism) Geography.kif 8073-8073 The number 1 argument of shedding body part is an instance of organism
(domain sheddingBodyPart 2 BodyPart) Geography.kif 8074-8074 The number 2 argument of shedding body part is an instance of body part
(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 8075-8076 The number 2 argument of shedding body part is an instance of body part

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 65969-65969

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


(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))		 Geography.kif 8078-8084 If X is Removing Y from its body, then there exists Z such that Z is an instance of moulting, Z originates at X, and Y is a patient of Z
(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))		 Geography.kif 8086-8090 If X is an instance of domestic cat and X is Removing Y from its body, then Y is an instance of hair
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))		 Geography.kif 8092-8096 If X is an instance of reptile and X is Removing Y from its body, then Y is an instance of skin
(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))		 Geography.kif 8098-8102 If X is an instance of crustacean and X is Removing Y from its body, then Y is an instance of animal shell


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners