successorAttribute |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 427-427 | LowerMiddleIncomeCountry est un attribut successeur imm�diat de UpperMiddleIncomeCountry |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18176-18176 | NonFullyFormed est un attribut successeur imm�diat de FullyFormed |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2390-2390 | SSHWS1 est un attribut successeur imm�diat de SSHWS2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2402-2402 | SSHWS2 est un attribut successeur imm�diat de SSHWS3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2414-2414 | SSHWS3 est un attribut successeur imm�diat de SSHWS4 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2426-2426 | SSHWS4 est un attribut successeur imm�diat de SSHWS5 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 995-995 | StandardRoom est un attribut successeur imm�diat de DeluxeRoom |
No TPTP formula. May not be expressible in strict first order. | Military.kif 358-358 | USMilitaryRankE1 est un attribut successeur imm�diat de USMilitaryRankE2 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 371-371 | USMilitaryRankE2 est un attribut successeur imm�diat de USMilitaryRankE3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 384-384 | USMilitaryRankE3 est un attribut successeur imm�diat de USMilitaryRankE4 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 397-397 | USMilitaryRankE4 est un attribut successeur imm�diat de USMilitaryRankE5 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 410-410 | USMilitaryRankE5 est un attribut successeur imm�diat de USMilitaryRankE6 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 423-423 | USMilitaryRankE6 est un attribut successeur imm�diat de USMilitaryRankE7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 436-436 | USMilitaryRankE7 est un attribut successeur imm�diat de USMilitaryRankE8 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 449-449 | USMilitaryRankE8 est un attribut successeur imm�diat de USMilitaryRankE9 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 469-469 | USMilitaryRankE9 est un attribut successeur imm�diat de USMilitaryRankE9special |
No TPTP formula. May not be expressible in strict first order. | Military.kif 482-482 | USMilitaryRankE9 est un attribut successeur imm�diat de USMilitaryRankO1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 492-492 | USMilitaryRankO1 est un attribut successeur imm�diat de USMilitaryRankO2 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 594-594 | USMilitaryRankO10 est un attribut successeur imm�diat de USMilitaryRankSpecial |
No TPTP formula. May not be expressible in strict first order. | Military.kif 502-502 | USMilitaryRankO2 est un attribut successeur imm�diat de USMilitaryRankO3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 512-512 | USMilitaryRankO3 est un attribut successeur imm�diat de USMilitaryRankO4 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 522-522 | USMilitaryRankO4 est un attribut successeur imm�diat de USMilitaryRankO5 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 532-532 | USMilitaryRankO5 est un attribut successeur imm�diat de USMilitaryRankO6 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 542-542 | USMilitaryRankO6 est un attribut successeur imm�diat de USMilitaryRankO7 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 555-555 | USMilitaryRankO7 est un attribut successeur imm�diat de USMilitaryRankO8 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |