typicalPart |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1079-1079 | 发射器 typically 是 bjt晶体管 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3284-3284 | EngineMAPSensor typically 是 ExhaustManifold 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2785-2785 | EngineWaterPump typically 是 EngineCoolingSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12058-12058 | Esophagus typically 是 GastroIntestinalTract 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2626-2626 | ExhaustManifold typically 是 AutomobileExhaustSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2662-2662 | ExhaustValve typically 是 FourStrokeEngine 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 936-936 | Faucet typically 是 浴室 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 935-935 | Faucet typically 是 厨房 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10831-10831 | Forearm typically 是 臂 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5121-5121 | GMLs1V8engine typically 是 Corvette 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 763-763 | 齿轮 typically 是 齿轮系 的 part |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | 齿轮系 typically 是 变速器 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1365-1365 | 枪扳机 typically 是 枪 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10815-10815 | HamstringMuscle typically 是 腿 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3140-3140 | IgnitionCoil typically 是 汽车 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3203-3203 | IgnitionControlModule typically 是 AutomobileIgnitionSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2687-2687 | IntakeValve typically 是 FourStrokeEngine 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12060-12060 | 肠 typically 是 GastroIntestinalTract 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12044-12044 | LargeIntestine typically 是 肠 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10774-10774 | LatissimusDorsi typically 是 躯干 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 896-896 | LeafSpring typically 是 AutoSuspensionSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5091-5091 | LightBulb typically 是 灯具 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10846-10846 | LowerLeg typically 是 腿 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3253-3253 | MacPhersonStrut typically 是 AutoSuspensionSystem 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3260-3260 | ManifoldHeatControlValve typically 是 多种 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |