No TPTP formula. May not be expressible in strict first order.	Cars.kif 3665-3665	typicallyContainsPart SeatBelt and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3968-3968	typicallyContainsPart SteeringBox and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3985-3985	typicallyContainsPart SteeringColumn and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3990-3990	typicallyContainsPart SteeringWheel and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4137-4137	typicallyContainsPart TieRod and Automobile

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