| AnimalPoweredDevice(動物動力裝置)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2829-2831 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1029-1029 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2828-2828 | 子類 動物動力裝置 and Device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7597-7597 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7596-7596 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7595-7595 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2832-2839 |
|
|
|