|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15880-15880 | Fabric is disjoint from stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | Factual text is disjoint from fictional text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16376-16376 | Falling asleep is disjoint from waking up |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7092-7092 | Farm building is disjoint from residential building |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 977-977 | Fixed rate account is disjoint from adjustable rate account |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 806-806 | Flash drive is disjoint from memory card |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 696-696 | Floppy disk is disjoint from hard disk |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6353-6353 | Forest is disjoint from field |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15989-15989 | Formal meeting is disjoint from social party |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1335-1335 | Function key hold down is disjoint from alt key hold down |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1337-1337 | Function key hold down is disjoint from control key hold down |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1336-1336 | Function key hold down is disjoint from shift key hold down |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3714-3714 | Furniture is disjoint from agent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3710-3710 | Furniture is disjoint from engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3711-3711 | Furniture is disjoint from machine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3712-3712 | Furniture is disjoint from transportation device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3713-3713 | Furniture is disjoint from weapon |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 568-568 | G series nerve agent is disjoint from V series nerve agent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 936-936 | GUI button is disjoint from computer keyboard key |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 938-938 | GUI button is disjoint from computer touchscreen keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 937-937 | GUI button is disjoint from computer touchscreen keypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1126-1126 | GUI check box is disjoint from GUI radio button |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | GUI slider is disjoint from computer touchscreen keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | GUI slider is disjoint from computer touchscreen keypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | GUI slider is disjoint from scroll bar |
| 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