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