| Brain(脑)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11848-11848 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 51-51 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11847-11847 | 脑 是 动物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11846-11846 | 脑 是 VitalOrgan 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11875-11875 | 每个 FrontalLobe 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11853-11853 | 每个 Medulla 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11882-11882 | 每个 OccipitalLobes 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11867-11867 | 每个 ParietalLobe 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11859-11859 | 每个 Pons 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11889-11889 | 每个 TemporalLobes 是 脑 的 part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11825-11825 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11824-11824 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11823-11823 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11915-11932 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1328-1340 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11934-11945 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1613-1621 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1294-1299 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11908-11913 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12099-12104 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5188-5188 | BrainDead equal DeadOrMissingBodyPartFn 脑 |
|
|
|