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 6450-6451
(domain sheddingBodyPart 1 Organism) Geography.kif 6448-6448 The number 1 argument of shedding body part is an instance of organism
(domain sheddingBodyPart 2 BodyPart) Geography.kif 6449-6449 The number 2 argument of shedding body part is an instance of body part
(instance sheddingBodyPart SheddingPart) Geography.kif 6447-6447 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 5014-5014
(termFormat EnglishLanguage sheddingBodyPart "shedding body part") domainEnglishFormat.kif 65993-65993

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


(=>
    (and
        (instance ?C Crustacean)
        (sheddingBodyPart ?C ?S))
    (instance ?S AnimalShell))		 Geography.kif 6473-6477
(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))		 Geography.kif 6461-6465
(=>
    (and
        (instance ?R Reptile)
        (sheddingBodyPart ?R ?S))
    (instance ?S Skin))		 Geography.kif 6467-6471
(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (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