|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4860-4860 | MiniCooperEngine typically 是 MiniCooper 的 part |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 401-401 | MouseButton typically 是 ComputerMouse 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12057-12057 | 口 typically 是 GastroIntestinalTract 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3320-3320 | OilPan typically 是 内燃机 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10767-10767 | Pectoralis typically 是 Chest 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 344-344 | Piston typically 是 EngineCylinder 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3808-3808 | PistonRing typically 是 Piston 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3816-3816 | PositiveCrankcaseVentilationValve typically 是 FourStrokeEngine 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2197-2197 | Radiator typically 是 LiquidEngineCoolingSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12061-12061 | Rectum typically 是 GastroIntestinalTract 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11236-11236 | RibBone typically 是 Chest 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3841-3841 | RockerArm typically 是 FourStrokeEngine 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12309-12309 | SalivaryGland typically 是 口 的 part |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 772-772 | 轴 typically 是 发动机 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10807-10807 | ShinMuscle typically 是 腿 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12045-12045 | SmallIntestine typically 是 肠 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3206-3206 | SparkPlug typically 是 AutomobileIgnitionSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3967-3967 | SteeringBox typically 是 汽车 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3984-3984 | SteeringColumn typically 是 汽车 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3989-3989 | 方向盘 typically 是 汽车 的 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. | Cars.kif 5185-5185 | Supercharger typically 是 IntermittentCombustionEngine 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4031-4031 | Tailpipe typically 是 AutomobileExhaustSystem 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10792-10792 | ThighMuscle typically 是 腿 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | TieRod 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