typicallyContainsPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5153-5153 A light fixture typically has a part light bulb
No TPTP formula. May not be expressible in strict first order. Cars.kif 4922-4922 A mini cooper typically has a part mini engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 3382-3382 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 engine cylinder typically has a part piston
No TPTP formula. May not be expressible in strict first order. Cars.kif 3870-3870 A piston typically has a part piston ring
No TPTP formula. May not be expressible in strict first order. Cars.kif 2182-2182 A water cooling system typically has a part radiator
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12595-12595 A chest typically has a part rib cage
No TPTP formula. May not be expressible in strict first order. Cars.kif 3903-3903 A four stroke engine typically has a part rocker arm
No TPTP formula. May not be expressible in strict first order. Cars.kif 3726-3726 A automobile typically has a part seat belt
No TPTP formula. May not be expressible in strict first order. Cars.kif 3268-3268 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 1372-1372 A ball joint typically has a part spring
No TPTP formula. May not be expressible in strict first order. Cars.kif 4029-4029 A automobile typically has a part steering box
No TPTP formula. May not be expressible in strict first order. Cars.kif 4046-4046 A automobile typically has a part steering column
No TPTP formula. May not be expressible in strict first order. Cars.kif 4051-4051 A automobile typically has a part steering wheel
No TPTP formula. May not be expressible in strict first order. Cars.kif 4093-4093 A exhaust system typically has a part tailpipe
No TPTP formula. May not be expressible in strict first order. Cars.kif 2148-2148 A water cooling system typically has a part thermometer
No TPTP formula. May not be expressible in strict first order. Cars.kif 4198-4198 A automobile typically has a part tie rod
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 785-785 A human typically has a part vocal cords


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