typicalPart

-------------------------


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