|
| 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