|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4860-4860 | A mini engine is typically a part of a mini cooper |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 401-401 | A mouse button is typically a part of a computer mouse |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12057-12057 | A mouth is typically a part of a GI |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3320-3320 | A oil pan is typically a part of a internal combustion engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10767-10767 | A chest muscle is typically a part of a chest |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 344-344 | A piston is typically a part of a engine cylinder |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3808-3808 | A piston ring is typically a part of a piston |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3816-3816 | A positive crankcase ventilation valve is typically a part of a four stroke engine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2197-2197 | A radiator is typically a part of a water cooling system |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12061-12061 | A rectum is typically a part of a GI |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11236-11236 | A rib bone is typically a part of a chest |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3841-3841 | A rocker arm is typically a part of a four stroke engine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12309-12309 | A salivary gland is typically a part of a mouth |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 772-772 | A shaft is typically a part of a motor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10807-10807 | A tibialis anterior is typically a part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12045-12045 | A small intestine is typically a part of a intestine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3206-3206 | A spark plug is typically a part of a automobile ignition system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3967-3967 | A steering box is typically a part of a automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3984-3984 | A steering column is typically a part of a automobile |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3989-3989 | A steering wheel is typically a part of a automobile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12059-12059 | A stomach is typically a part of a GI |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5185-5185 | A supercharger is typically a part of a intermittent combustion engine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4031-4031 | A tailpipe is typically a part of a exhaust system |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10792-10792 | A quadriceps is typically a part of a leg |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | A tie rod is typically a part of a automobile |
| 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