typicallyContainsPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4842-4842 A mini cooper typically has a part mini engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 3296-3296 A internal combustion engine typically has a part oil pan
No TPTP formula. May not be expressible in strict first order. Cars.kif 565-565 A drum brake typically has a part parking brake
No TPTP formula. May not be expressible in strict first order. Cars.kif 345-345 A EngineCylinder typically has a part piston
No TPTP formula. May not be expressible in strict first order. Cars.kif 3783-3783 A piston typically has a part piston ring
No TPTP formula. May not be expressible in strict first order. Cars.kif 2185-2185 A water cooling system typically has a part radiator
No TPTP formula. May not be expressible in strict first order. Cars.kif 3816-3816 A four stroke engine typically has a part rocker arm
No TPTP formula. May not be expressible in strict first order. Cars.kif 3640-3640 A automobile typically has a part seat belt
No TPTP formula. May not be expressible in strict first order. Cars.kif 3182-3182 A automobile ignition system typically has a part spark plug
No TPTP formula. May not be expressible in strict first order. Cars.kif 725-725 A auto suspension system typically has a part spring
No TPTP formula. May not be expressible in strict first order. Cars.kif 1368-1368 A ball joint typically has a part spring
No TPTP formula. May not be expressible in strict first order. Cars.kif 3942-3942 A automobile typically has a part steering box
No TPTP formula. May not be expressible in strict first order. Cars.kif 3959-3959 A automobile typically has a part steering column
No TPTP formula. May not be expressible in strict first order. Cars.kif 3964-3964 A automobile typically has a part steering wheel
No TPTP formula. May not be expressible in strict first order. Cars.kif 4006-4006 A exhaust system typically has a part tailpipe
No TPTP formula. May not be expressible in strict first order. Cars.kif 2151-2151 A water cooling system typically has a part thermometer
No TPTP formula. May not be expressible in strict first order. Cars.kif 4111-4111 A automobile typically has a part tie rod
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1182-1182 A human typically has a 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