successorAttribute |
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 |