|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1042-1042 | GUISliderIndicator est disjoint de ComputerMenu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1043-1043 | GUISliderIndicator est disjoint de ScrollBar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1044-1044 | GUISliderIndicator est disjoint de ScrollBarBar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14759-14759 | GasMixture est disjoint de LiquidMixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11213-11213 | GeologicalProcess est disjoint de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 892-892 | GraphicalComputerMenu est disjoint de ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 891-891 | GraphicalComputerMenu est disjoint de ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5280-5280 | Hardwood est disjoint de Softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10937-10937 | R�chauffer est disjoint de refroidir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | HerbaceousPlant est disjoint de WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20062-20062 | Herbivore est disjoint de carnivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8017-8017 | IndependentState est disjoint de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9141-9141 | Indoors est disjoint de Outdoors |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 655-655 | InternalDigitalDataStorageDevice est disjoint de RemovableDigitalDataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4139-4139 | InternalTransfer est disjoint de ExternalTransfer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5839-5839 | �le Est disjoint de LandlockedArea |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 613-613 | Joystick est disjoint de Trackball |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1636-1636 | JoystickMotion est disjoint de KeyboardAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1635-1635 | JoystickMotion est disjoint de TouchSurfaceAction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10668-10668 | Quitter une organization est disjoint de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 304-304 | LeftArrowKey est disjoint de RightArrowKey |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1398-1398 | Expression linguistique est disjoint de icone |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 905-905 | ListBox est disjoint de DropDownList |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16479-16479 | LosingConsciousness est disjoint de GainingConsciousness |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 391-391 | Viande est disjoint de boisson |
| 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