|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 292-292 | Viande est disjoint de FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 219-219 | MiddleCIButton est disjoint de LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6150-6150 | MiscellaneousManufacturing est disjoint de ChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6144-6144 | MiscellaneousManufacturing est disjoint de ComputerAndElectronicProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6143-6143 | MiscellaneousManufacturing est disjoint de ElectricalEquipmentApplianceAndComponentManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6146-6146 | MiscellaneousManufacturing est disjoint de FabricatedMetalProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6141-6141 | MiscellaneousManufacturing est disjoint de FurnitureAndRelatedProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6145-6145 | MiscellaneousManufacturing est disjoint de MachineryManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6148-6148 | MiscellaneousManufacturing est disjoint de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6151-6151 | MiscellaneousManufacturing est disjoint de PetroleumAndCoalProductsManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6149-6149 | MiscellaneousManufacturing est disjoint de PlasticsAndRubberProductsManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6147-6147 | MiscellaneousManufacturing est disjoint de PrimaryMetalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6142-6142 | MiscellaneousManufacturing est disjoint de TransportationEquipmentManufacturing |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4186-4186 | Misdiagnosis est disjoint de TellingALie |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | MobileResidence est disjoint de Residence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8813-8813 | Morning est disjoint de Afternoon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8815-8815 | Morning est disjoint de Evening |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11082 | MotionUpward est disjoint de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1064-1064 | MouseCursor est disjoint de GUIActiveArea |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1063-1063 | MouseCursor est disjoint de TextCursor |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 335-335 | MultiKeypressKey est disjoint de ArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 334-334 | MultiKeypressKey est disjoint de EnterKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 333-333 | MultiKeypressKey est disjoint de NumberedFunctionKey |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3489-3489 | NSAID est disjoint de Steroid |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3519-3519 | Nation est disjoint de continent |
| 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