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


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