No TPTP formula. May not be expressible in strict first order.	Economy.kif 427-427	LowerMiddleIncomeCountry e' um atributo sucessor immediato de UpperMiddleIncomeCountry
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18176-18176	NonFullyFormed e' um atributo sucessor immediato de FullyFormed
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2390-2390	SSHWS1 e' um atributo sucessor immediato de SSHWS2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2402-2402	SSHWS2 e' um atributo sucessor immediato de SSHWS3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2414-2414	SSHWS3 e' um atributo sucessor immediato de SSHWS4
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2426-2426	SSHWS4 e' um atributo sucessor immediato de SSHWS5
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 995-995	StandardRoom e' um atributo sucessor immediato de DeluxeRoom
No TPTP formula. May not be expressible in strict first order.	Military.kif 358-358	USMilitaryRankE1 e' um atributo sucessor immediato de USMilitaryRankE2
No TPTP formula. May not be expressible in strict first order.	Military.kif 371-371	USMilitaryRankE2 e' um atributo sucessor immediato de USMilitaryRankE3
No TPTP formula. May not be expressible in strict first order.	Military.kif 384-384	USMilitaryRankE3 e' um atributo sucessor immediato de USMilitaryRankE4
No TPTP formula. May not be expressible in strict first order.	Military.kif 397-397	USMilitaryRankE4 e' um atributo sucessor immediato de USMilitaryRankE5
No TPTP formula. May not be expressible in strict first order.	Military.kif 410-410	USMilitaryRankE5 e' um atributo sucessor immediato de USMilitaryRankE6
No TPTP formula. May not be expressible in strict first order.	Military.kif 423-423	USMilitaryRankE6 e' um atributo sucessor immediato de USMilitaryRankE7
No TPTP formula. May not be expressible in strict first order.	Military.kif 436-436	USMilitaryRankE7 e' um atributo sucessor immediato de USMilitaryRankE8
No TPTP formula. May not be expressible in strict first order.	Military.kif 449-449	USMilitaryRankE8 e' um atributo sucessor immediato de USMilitaryRankE9
No TPTP formula. May not be expressible in strict first order.	Military.kif 469-469	USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankE9special
No TPTP formula. May not be expressible in strict first order.	Military.kif 482-482	USMilitaryRankE9 e' um atributo sucessor immediato de USMilitaryRankO1
No TPTP formula. May not be expressible in strict first order.	Military.kif 492-492	USMilitaryRankO1 e' um atributo sucessor immediato de USMilitaryRankO2
No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	USMilitaryRankO10 e' um atributo sucessor immediato de USMilitaryRankSpecial
No TPTP formula. May not be expressible in strict first order.	Military.kif 502-502	USMilitaryRankO2 e' um atributo sucessor immediato de USMilitaryRankO3
No TPTP formula. May not be expressible in strict first order.	Military.kif 512-512	USMilitaryRankO3 e' um atributo sucessor immediato de USMilitaryRankO4
No TPTP formula. May not be expressible in strict first order.	Military.kif 522-522	USMilitaryRankO4 e' um atributo sucessor immediato de USMilitaryRankO5
No TPTP formula. May not be expressible in strict first order.	Military.kif 532-532	USMilitaryRankO5 e' um atributo sucessor immediato de USMilitaryRankO6
No TPTP formula. May not be expressible in strict first order.	Military.kif 542-542	USMilitaryRankO6 e' um atributo sucessor immediato de USMilitaryRankO7
No TPTP formula. May not be expressible in strict first order.	Military.kif 555-555	USMilitaryRankO7 e' um atributo sucessor immediato 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