No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1376-1376 |
MechanicalJoint 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2198-2198 |
Radiator 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 779-779 |
转子 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 771-771 |
轴 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 789-789 |
定子 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1784-1784 |
开关设备 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 381-381 |
电视接收器 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 912-912 |
阀 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1512-1512 |
翼装置 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3622-3622 |
电线 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3617-3617 |
钢丝弹簧 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1061-1061 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1333-1333 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 739-739 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 270-270 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2423-2423 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 691-691 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 309-309 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 760-760 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 274-274 |
|