|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4868-4868 | typicalPart MiniCooperEngine and MiniCooper |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 401-401 | typicalPart MouseButton and ComputerMouse |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12056-12056 | typicalPart Mouth and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3328-3328 | typicalPart OilPan and InternalCombustionEngine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10766-10766 | typicalPart Pectoralis and Chest |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 344-344 | typicalPart Piston and EngineCylinder |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3816-3816 | typicalPart PistonRing and Piston |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3824-3824 | typicalPart PositiveCrankcaseVentilationValve and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2203-2203 | typicalPart Radiator and LiquidEngineCoolingSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12060-12060 | typicalPart Rectum and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11235-11235 | typicalPart RibBone and Chest |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3849-3849 | typicalPart RockerArm and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12308-12308 | typicalPart SalivaryGland and Mouth |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 772-772 | typicalPart Shaft and Motor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10806-10806 | typicalPart ShinMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12044-12044 | typicalPart SmallIntestine and Intestine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3214-3214 | typicalPart SparkPlug and AutomobileIgnitionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3975-3975 | typicalPart SteeringBox and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | typicalPart SteeringColumn and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3997-3997 | typicalPart SteeringWheel and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12058-12058 | typicalPart Stomach and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5193-5193 | typicalPart Supercharger and IntermittentCombustionEngine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4039-4039 | typicalPart Tailpipe and AutomobileExhaustSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10791-10791 | typicalPart ThighMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4144-4144 | typicalPart TieRod and Automobile |
| 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