|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9105-9105 | Inside is the opposite of outside |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17547-17547 | Likely is the opposite of unlikely |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19482-19482 | Lost is the opposite of won |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18147-18147 | Male is the opposite of female |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21606-21606 | Miscible is the opposite of immiscible |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 249-249 | Monarchy is the opposite of federation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 248-248 | Monarchy is the opposite of republic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30143-30143 | Naked is the opposite of clothed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14139-14139 | Naked promise is the opposite of contract |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18175-18175 | Non fully formed is the opposite of fully formed |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17034-17034 | North is the opposite of south |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3955-3955 | Open service is the opposite of closed service |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | Paved is the opposite of unpaved |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1498-1498 | Peace state is the opposite of war state |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 763-763 | Pleasure is the opposite of pain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17728-17728 | Polychromatic is the opposite of monochromatic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20961-20961 | Private detective is the opposite of police detective |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 792-792 | Process success is the opposite of process failure |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1812-1812 | Prone is the opposite of supine |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 781-781 | Pure capitalist economy is the opposite of mixed economy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 808-808 | Pure socialist economy is the opposite of mixed economy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 809-809 | Pure socialist economy is the opposite of pure capitalist economy |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1037-1037 | Quick is the opposite of slow |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17140-17140 | Right is the opposite of left |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17778-17778 | Rigid is the opposite of pliable |
| 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