No TPTP formula. May not be expressible in strict first order.	Cars.kif 5092-5092	燈具 typically 有 part LightBulb
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4861-4861	MiniCooper typically 有 part MiniCooperEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3321-3321	內燃機 typically 有 part OilPan
No TPTP formula. May not be expressible in strict first order.	Cars.kif 565-565	DrumBrake typically 有 part ParkingBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 345-345	EngineCylinder typically 有 part Piston
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3809-3809	Piston typically 有 part PistonRing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2198-2198	LiquidEngineCoolingSystem typically 有 part Radiator
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11264-11264	Chest typically 有 part RibCage
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3842-3842	FourStrokeEngine typically 有 part RockerArm
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3665-3665	汽車 typically 有 part SeatBelt
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3207-3207	AutomobileIgnitionSystem typically 有 part SparkPlug
No TPTP formula. May not be expressible in strict first order.	Cars.kif 725-725	AutoSuspensionSystem typically 有 part 彈簧
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1372-1372	BallJoint typically 有 part 彈簧
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3968-3968	汽車 typically 有 part SteeringBox
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3985-3985	汽車 typically 有 part SteeringColumn
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3990-3990	汽車 typically 有 part 方向盤
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4032-4032	AutomobileExhaustSystem typically 有 part Tailpipe
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2164-2164	LiquidEngineCoolingSystem typically 有 part 溫度計
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4137-4137	汽車 typically 有 part TieRod
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 792-792	Human typically 有 part VocalCords

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