No TPTP formula. May not be expressible in strict first order.	Cars.kif 5100-5100	灯具 typically 有 part LightBulb
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4869-4869	MiniCooper typically 有 part MiniCooperEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3329-3329	内燃机 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 3817-3817	Piston typically 有 part PistonRing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2204-2204	LiquidEngineCoolingSystem typically 有 part Radiator
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11263-11263	Chest typically 有 part RibCage
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3850-3850	FourStrokeEngine typically 有 part RockerArm
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3673-3673	汽车 typically 有 part SeatBelt
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3215-3215	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 3976-3976	汽车 typically 有 part SteeringBox
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3993-3993	汽车 typically 有 part SteeringColumn
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3998-3998	汽车 typically 有 part 方向盘
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4040-4040	AutomobileExhaustSystem typically 有 part Tailpipe
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2170-2170	LiquidEngineCoolingSystem typically 有 part 温度计
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4145-4145	汽车 typically 有 part TieRod
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 792-792	人类 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