typicallyContainsPart

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5092-5092 A light fixture typically has a part light bulb
No TPTP formula. May not be expressible in strict first order. Cars.kif 4861-4861 A mini cooper typically has a part mini engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 3321-3321 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 3809-3809 A piston typically has a part piston ring
No TPTP formula. May not be expressible in strict first order. Cars.kif 2198-2198 A water cooling system typically has a part radiator
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11264-11264 A chest typically has a part rib cage
No TPTP formula. May not be expressible in strict first order. Cars.kif 3842-3842 A four stroke engine typically has a part rocker arm
No TPTP formula. May not be expressible in strict first order. Cars.kif 3665-3665 A automobile typically has a part seat belt
No TPTP formula. May not be expressible in strict first order. Cars.kif 3207-3207 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 3968-3968 A automobile typically has a part steering box
No TPTP formula. May not be expressible in strict first order. Cars.kif 3985-3985 A automobile typically has a part steering column
No TPTP formula. May not be expressible in strict first order. Cars.kif 3990-3990 A automobile typically has a part steering wheel
No TPTP formula. May not be expressible in strict first order. Cars.kif 4032-4032 A exhaust system typically has a part tailpipe
No TPTP formula. May not be expressible in strict first order. Cars.kif 2164-2164 A water cooling system typically has a part thermometer
No TPTP formula. May not be expressible in strict first order. Cars.kif 4137-4137 A automobile typically has a part tie rod
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 792-792 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