|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1079-1079 | typicalPart Emitter and BjtTransistor |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3284-3284 | typicalPart EngineMAPSensor and ExhaustManifold |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2785-2785 | typicalPart EngineWaterPump and EngineCoolingSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12058-12058 | typicalPart Esophagus and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2626-2626 | typicalPart ExhaustManifold and AutomobileExhaustSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2662-2662 | typicalPart ExhaustValve and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 936-936 | typicalPart Faucet and Bathroom |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 935-935 | typicalPart Faucet and Kitchen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10831-10831 | typicalPart Forearm and Arm |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5121-5121 | typicalPart GMLs1V8engine and Corvette |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 763-763 | typicalPart Gear and GearTrain |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | typicalPart GearTrain and Gearbox |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1365-1365 | typicalPart GunTrigger and Gun |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10815-10815 | typicalPart HamstringMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3140-3140 | typicalPart IgnitionCoil and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3203-3203 | typicalPart IgnitionControlModule and AutomobileIgnitionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2687-2687 | typicalPart IntakeValve and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12060-12060 | typicalPart Intestine and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12044-12044 | typicalPart LargeIntestine and Intestine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10774-10774 | typicalPart LatissimusDorsi and Torso |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 896-896 | typicalPart LeafSpring and AutoSuspensionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5091-5091 | typicalPart LightBulb and LightFixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10846-10846 | typicalPart LowerLeg and Leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3253-3253 | typicalPart MacPhersonStrut and AutoSuspensionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3260-3260 | typicalPart ManifoldHeatControlValve and 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