Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|