| Brain(腦)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12744-12744 | |
| 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 24811-24811 | 腦 的例子總是 Human 的 initially part 的例子 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12743-12743 | 子類 腦 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12742-12742 | 子類 腦 and VitalOrgan |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12771-12771 | 每個 FrontalLobe 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12749-12749 | 每個 Medulla 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12778-12778 | 每個 OccipitalLobes 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12763-12763 | 每個 ParietalLobe 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12755-12755 | 每個 Pons 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12785-12785 | 每個 TemporalLobes 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11840-11840 | 每個 TemporalLobes 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11839-11839 | 每個 TemporalLobes 是 腦 的 part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11838-11838 | 每個 TemporalLobes 是 腦 的 part |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12811-12828 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1316-1328 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12830-12841 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1601-1609 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1287 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12804-12809 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12995-13000 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5176-5176 | 等於 BrainDead and DeadOrMissingBodyPartFn 腦 |
|
|
|