|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 427-427 | Lower middle income country is an immediate successor attribute of upper middle income country |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18154-18154 | Non fully formed is an immediate successor attribute of fully formed |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2394-2394 | SSHWS1 is an immediate successor attribute of SSHWS2 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2406-2406 | SSHWS2 is an immediate successor attribute of SSHWS3 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2418-2418 | SSHWS3 is an immediate successor attribute of SSHWS4 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2430-2430 | SSHWS4 is an immediate successor attribute of SSHWS5 |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 995-995 | Standard room is an immediate successor attribute of deluxe room |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 358-358 | US military rank e1 is an immediate successor attribute of US military rank e2 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 371-371 | US military rank e2 is an immediate successor attribute of US military rank e3 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 384-384 | US military rank e3 is an immediate successor attribute of US military rank e4 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 397-397 | US military rank e4 is an immediate successor attribute of US military rank e5 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 410-410 | US military rank e5 is an immediate successor attribute of US military rank e6 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 423-423 | US military rank e6 is an immediate successor attribute of US military rank e7 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 436-436 | US military rank e7 is an immediate successor attribute of US military rank e8 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 449-449 | US military rank e8 is an immediate successor attribute of US military rank e9 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 469-469 | US military rank e9 is an immediate successor attribute of US military rank e9special |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 482-482 | US military rank e9 is an immediate successor attribute of US military rank o1 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 492-492 | US military rank o1 is an immediate successor attribute of US military rank o2 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 594-594 | US military rank o10 is an immediate successor attribute of US military rank special |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 502-502 | US military rank o2 is an immediate successor attribute of US military rank o3 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 512-512 | US military rank o3 is an immediate successor attribute of US military rank o4 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 522-522 | US military rank o4 is an immediate successor attribute of US military rank o5 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 532-532 | US military rank o5 is an immediate successor attribute of US military rank o6 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 542-542 | US military rank o6 is an immediate successor attribute of US military rank o7 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 555-555 | US military rank o7 is an immediate successor attribute of US military rank o8 |
| 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