Engine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1725-1727 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 86-86 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | 发动机 是 传感器 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1779-1779 | 电动马达 是 发动机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | 内燃机 是 发动机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | OutboardEngine 是 发动机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | 蒸汽机 是 发动机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | 涡轮 是 发动机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22078-22078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22077-22077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22076-22076 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1920-1920 | compressionRatio 的 1 数量 是 发动机 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4525-4525 | engineCylinders 的 1 数量 是 发动机 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1890-1890 | maxCylinderVolume 的 1 数量 是 发动机 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1859-1859 | minCylinderVolume 的 1 数量 是 发动机 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1936-1936 | pistonStroke 的 1 数量 是 发动机 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1660-1668 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2142-2154 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 328-333 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 973-983 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1354-1362 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2274-2286 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2519-2532 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4588-4604 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2555 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1000-1011 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4694-4705 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4611-4643 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4485-4491 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3755-3769 |
|