|
| 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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners