|
| 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 3292-3292 | EngineMAPSensor typically 是 ExhaustManifold 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2791-2791 | EngineWaterPump typically 是 EngineCoolingSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12057-12057 | Esophagus typically 是 GastroIntestinalTract 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2632-2632 | ExhaustManifold typically 是 AutomobileExhaustSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2668-2668 | 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 10830-10830 | Forearm typically 是 臂 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5129-5129 | 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 10814-10814 | HamstringMuscle typically 是 腿 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3148-3148 | IgnitionCoil typically 是 汽車 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3211-3211 | IgnitionControlModule typically 是 AutomobileIgnitionSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2693-2693 | IntakeValve typically 是 FourStrokeEngine 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12059-12059 | 腸 typically 是 GastroIntestinalTract 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12043-12043 | LargeIntestine typically 是 腸 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10773-10773 | 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 5099-5099 | LightBulb typically 是 燈具 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | LowerLeg typically 是 腿 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3261-3261 | MacPhersonStrut typically 是 AutoSuspensionSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3268-3268 | 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