AnatomicalStructure
|
|
appearance as argument number 1 |
appearance as argument number 2 |
appearance as argument number 3 |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14348-14348 | Objet organique est compl�tement d�compos� en organisme + structure anatomique |
antecedent |
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6412-6423 | |
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM))))) |
Merge.kif 14921-14927 |
|
(=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 14929-14934 |
consequent |