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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6518-6519
(domain sheddingBodyPart 1 Organism) Geography.kif 6516-6516 The number 1 argument of shedding body part is an instance of organism
(domain sheddingBodyPart 2 BodyPart) Geography.kif 6517-6517 The number 2 argument of shedding body part is an instance of body part
(instance sheddingBodyPart SheddingPart) Geography.kif 6515-6515 shedding body part is an instance of shedding 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 65991-65991

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


(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))		 Geography.kif 6541-6545
(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))		 Geography.kif 6529-6533
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))		 Geography.kif 6535-6539
(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))		 Geography.kif 6521-6527


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