|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15902-15902 | Textile est disjoint de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15404-15404 | FactualText est disjoint de FictionalText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16375-16375 | FallingAsleep est disjoint de WakingUp |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | FarmBuilding est disjoint de ResidentialBuilding |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 977-977 | FixedRateAccount est disjoint de AdjustableRateAccount |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 806-806 | FlashDrive est disjoint de MemoryCard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 696-696 | FloppyDisk est disjoint de HardDisk |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6353-6353 | Forest est disjoint de Field |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15988-15988 | FormalMeeting est disjoint de SocialParty |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1335-1335 | FunctionKeyHoldDown est disjoint de AltKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1337-1337 | FunctionKeyHoldDown est disjoint de ControlKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1336-1336 | FunctionKeyHoldDown est disjoint de ShiftKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3714-3714 | Furniture est disjoint de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3710-3710 | Furniture est disjoint de composant d'un appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3711-3711 | Furniture est disjoint de machine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3712-3712 | Furniture est disjoint de v�hicule de transport |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3713-3713 | Furniture est disjoint de arme |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 568-568 | GSeriesNerveAgent est disjoint de VSeriesNerveAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 936-936 | GUIButton est disjoint de ComputerKeyboardKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 938-938 | GUIButton est disjoint de ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 937-937 | GUIButton est disjoint de ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1126-1126 | GUICheckBox est disjoint de GUIRadioButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | GUISlider est disjoint de ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | GUISlider est disjoint de ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | GUISlider est disjoint de ScrollBar |
| 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