|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1079-1079 | A emitter is typically a part of a bjt transistor |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3284-3284 | A manifold absolute pressure sensor is typically a part of a exhaust manifold |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2785-2785 | A engine water pump is typically a part of a engine cooling system |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12058-12058 | A esophagus is typically a part of a GI |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2626-2626 | A exhaust manifold is typically a part of a exhaust system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2662-2662 | A exhaust valve is typically a part of a four stroke engine |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 936-936 | A faucet is typically a part of a bathroom |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 935-935 | A faucet is typically a part of a kitchen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10831-10831 | A forearm is typically a part of a arm |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5121-5121 | A ls1 engine is typically a part of a Corvette |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 763-763 | A gear is typically a part of a gear train |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | A gear train is typically a part of a gearbox |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1365-1365 | A gun trigger is typically a part of a gun |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10815-10815 | A hamstring muscle is typically a part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3140-3140 | A ignition coil is typically a part of a automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3203-3203 | A ignition control module is typically a part of a automobile ignition system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2687-2687 | A intake valve is typically a part of a four stroke engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12060-12060 | A intestine is typically a part of a GI |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12044-12044 | A large intestine is typically a part of a intestine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10774-10774 | A upper back muscle is typically a part of a torso |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 896-896 | A leaf spring is typically a part of a auto suspension system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5091-5091 | A light bulb is typically a part of a light fixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10846-10846 | A lower leg is typically a part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3253-3253 | A MacPherson strut is typically a part of a auto suspension system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3260-3260 | A manifold heat control valve is typically a part of a manifold |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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