|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5100-5100 | typicallyContainsPart LightBulb and LightFixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4869-4869 | typicallyContainsPart MiniCooperEngine and MiniCooper |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3329-3329 | typicallyContainsPart OilPan and InternalCombustionEngine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 565-565 | typicallyContainsPart ParkingBrake and DrumBrake |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 345-345 | typicallyContainsPart Piston and EngineCylinder |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3817-3817 | typicallyContainsPart PistonRing and Piston |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2204-2204 | typicallyContainsPart Radiator and LiquidEngineCoolingSystem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11263-11263 | typicallyContainsPart RibCage and Chest |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3850-3850 | typicallyContainsPart RockerArm and FourStrokeEngine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3673-3673 | typicallyContainsPart SeatBelt and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3215-3215 | typicallyContainsPart SparkPlug and AutomobileIgnitionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 725-725 | typicallyContainsPart Spring and AutoSuspensionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1372-1372 | typicallyContainsPart Spring and BallJoint |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3976-3976 | typicallyContainsPart SteeringBox and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3993-3993 | typicallyContainsPart SteeringColumn and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3998-3998 | typicallyContainsPart SteeringWheel and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4040-4040 | typicallyContainsPart Tailpipe and AutomobileExhaustSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2170-2170 | typicallyContainsPart Thermometer and LiquidEngineCoolingSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4145-4145 | typicallyContainsPart TieRod and Automobile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 792-792 | typicallyContainsPart VocalCords and Humano |
|
|
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