AnatomicalStructure(StrutturaAnatomica) |
appearance as argument number 1 |
appearance as argument number 2 |
appearance as argument number 3 |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14370-14370 | Entit�Organica è esaustivamente partizionato in Organismo + StrutturaAnatomica |
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 14943-14949 |
|
(=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 14951-14956 |
consequent |