Brain![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Brain EnglishLanguage "The seat of the central nervous system.") | Mid-level-ontology.kif 13179-13179 | |
(externalImage Brain "http://articulatesoftware.com/SUMOpictures/medical/ anatomy/ brain.png") | pictureList.kif 288-288 | |
(externalImage Brain "http://upload.wikimedia.org/wikipedia/commons/4/49/ Human_brain_NIH.jpg") | pictureList.kif 51-51 | |
(initiallyContainsPart Brain Human) | Mid-level-ontology.kif 25338-25338 | initiallyContainsPart Brain and 人[人間] |
(subclass Brain AnimalAnatomicalStructure) | Mid-level-ontology.kif 13178-13178 | Brain は AnimalAnatomicalStructure の subclass では |
(subclass Brain VitalOrgan) | Mid-level-ontology.kif 13177-13177 | Brain は VitalOrgan の subclass では |
appearance as argument number 2 |
![]() |
(partTypes FrontalLobe Brain) | Mid-level-ontology.kif 13206-13206 | partTypes FrontalLobe and Brain |
(partTypes Medulla Brain) | Mid-level-ontology.kif 13184-13184 | partTypes Medulla and Brain |
(partTypes OccipitalLobes Brain) | Mid-level-ontology.kif 13213-13213 | partTypes OccipitalLobes and Brain |
(partTypes ParietalLobe Brain) | Mid-level-ontology.kif 13198-13198 | partTypes ParietalLobe and Brain |
(partTypes Pons Brain) | Mid-level-ontology.kif 13190-13190 | partTypes Pons and Brain |
(partTypes TemporalLobes Brain) | Mid-level-ontology.kif 13220-13220 | partTypes TemporalLobes and Brain |
(termFormat ChineseLanguage Brain "脑") | domainEnglishFormat.kif 11834-11834 | partTypes TemporalLobes and Brain |
(termFormat ChineseTraditionalLanguage Brain "腦") | domainEnglishFormat.kif 11833-11833 | partTypes TemporalLobes and Brain |
(termFormat EnglishLanguage Brain "brain") | domainEnglishFormat.kif 11832-11832 | partTypes TemporalLobes and Brain |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?S Seizure) (experiencer ?S ?A)) (exists (?B) (and (instance ?B Brain) (part ?B ?A) (located ?S ?B)))) |
Medicine.kif 1606-1614 | |
(=> (holdsDuring ?T (attribute ?H TraumaticBrainInjury)) (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Brain)))) |
Medicine.kif 1286-1291 | |
(=> (instance ?HA Stroke) (exists (?B) (and (instance ?B Brain) (located ?HA ?B)))) |
Mid-level-ontology.kif 13239-13244 | |
(=> (instance ?HYPO Hypothalamus) (exists (?BRAIN) (and (instance ?BRAIN Brain) (part ?HYPO ?BRAIN)))) |
Mid-level-ontology.kif 13430-13435 |
statement |
![]() |
(equal BrainDead (DeadOrMissingBodyPartFn Brain)) |
Medicine.kif 5196-5196 | equal BrainDead and DeadOrMissingBodyPartFn Brain |
![]() |
![]() |