|
| 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 3292-3292 | typicalPart EngineMAPSensor and ExhaustManifold |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2791-2791 | typicalPart EngineWaterPump and EngineCoolingSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12057-12057 | typicalPart Esophagus and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2632-2632 | typicalPart ExhaustManifold and AutomobileExhaustSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2668-2668 | 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 10830-10830 | typicalPart Forearm and Arm |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5129-5129 | 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 10814-10814 | typicalPart HamstringMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3148-3148 | typicalPart IgnitionCoil and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3211-3211 | typicalPart IgnitionControlModule and AutomobileIgnitionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2693-2693 | typicalPart IntakeValve and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12059-12059 | typicalPart Intestine and GastroIntestinalTract |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12043-12043 | typicalPart LargeIntestine and Intestine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10773-10773 | 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 5099-5099 | typicalPart LightBulb and LightFixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10845-10845 | typicalPart LowerLeg and Leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3261-3261 | typicalPart MacPhersonStrut and AutoSuspensionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3268-3268 | 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