|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 951-951 | Computer menu is disjoint from scroll bar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 398-398 | Computer mouse is disjoint from computer keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 435-435 | Computer screen is disjoint from computer touchpad |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6952-6952 | Condominium building is disjoint from single family residence |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 354-354 | Control key is disjoint from function key |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 353-353 | Control key is disjoint from shift key |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1014-1014 | Corporate account is disjoint from personal account |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1227-1227 | Corpuscular object is disjoint from substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | Creek is disjoint from river |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1082-1082 | Cursor is disjoint from interface window |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12271-12271 | Damaging is disjoint from repairing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8860-8860 | Day time is disjoint from night time |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6389-6389 | Deciduous tree is disjoint from evergreen tree |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12710-12710 | Decoding is disjoint from encoding |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 427-427 | Deposit is disjoint from withdrawal |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2298-2298 | Displacement hull water vehicle is disjoint from planing hull water vehicle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20018 | Domestic animal is disjoint from human |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6980-6980 | Dormitory is disjoint from single family residence |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 316-316 | Down arrow key is disjoint from left arrow key |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 315-315 | Down arrow key is disjoint from right arrow key |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18235-18235 | Dreaming is disjoint from intentional process |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 508-508 | Earphone is disjoint from loudspeaker |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3526-3526 | Expired card is disjoint from valid card |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 745-745 | External disk drive is disjoint from internal hard disk |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1535-1535 | FHA loan is disjoint from conventional mortgage |
| 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