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