|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16339-16339 | Becoming drunk is disjoint from sobering up |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16289-16289 | Beginning operations is disjoint from ceasing operations |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 107-107 | Biochemical weapon is disjoint from radioactive weapon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14562-14562 | Bird is disjoint from mammal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | Blu ray disc is disjoint from compact disc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1190-1190 | Blu ray disc is disjoint from DVD |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1180-1180 | CDR is disjoint from CDROM |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Canine is disjoint from feline |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1084-1084 | Capstone is disjoint from keystone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17483-17483 | Centrifugal motion is disjoint from centripetal motion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | Chairman publication is disjoint from joint doctrine |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | Character key press is disjoint from special character press |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8722-8722 | Chemical acid is disjoint from chemical base |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 447-447 | Chemical agent is disjoint from organic object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19561-19561 | Chemical reduction is disjoint from oxidating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | Clothing is disjoint from stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Collection is disjoint from self connected object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3217-3217 | Common carrier is disjoint from contract carrier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2009-2009 | Complex number is disjoint from real number |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 146-146 | Computer display is disjoint from printer |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 243-243 | Computer keyboard key is disjoint from left CI button |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 242-242 | Computer keyboard key is disjoint from middle CI button |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 244-244 | Computer keyboard key is disjoint from mouse button |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 241-241 | Computer keyboard key is disjoint from right CI button |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 367-367 | Computer keyboard key is disjoint from touchpad key |
| 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