AnatomicalStructure | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 13909-13909 | subclass AbnormalAnatomicalStructure and AnatomicalStructure |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 13943-13943 | subclass AnimalAnatomicalStructure and AnatomicalStructure |
(subclass BodyPart AnatomicalStructure) | Merge.kif 13922-13922 | subclass BodyPart and AnatomicalStructure |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 13954-13954 | subclass PlantAnatomicalStructure and AnatomicalStructure |
(termFormat ChineseLanguage AnatomicalStructure "解剖结构") | chinese_format.kif 1016-1016 | |
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure") | english_format.kif 1249-1249 |
appearance as argument number 3 |
![]() |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 13333-13333 | partition OrganicObject, Organism and AnatomicalStructure |
antecedent |
![]() |
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM))))) |
Merge.kif 13894-13900 | |
(=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 13902-13907 |
consequent |
![]() |
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 9841-9846 | |
(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure))))) |
Merge.kif 9864-9871 |
![]() |
![]() |