No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14991-14991	RussianLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3181-3181	SierraOccidentalLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14995-14995	SpanishLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3192-3192	TicunaLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3206-3206	TolLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3222-3222	TrumaiLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3231-3231	TuxaLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3239-3239	WaraoLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3254-3254	YaleLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3268-3268	YamanaLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3282-3282	YuchiLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3291-3291	YuracareLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3300-3300	ZuniLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1448-1448	O conceito Linguagem Humana e' completamente decomposto em SpokenHumanLanguage + ManualHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4602-4602	AfroAsiaticLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5063-5063	AlacalufanLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5093-5093	AlgicLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5100-5100	AltaicLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5329-5329	AmtoMusanLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5359-5359	AndamaneseLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5587-5587	AraucanianLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5625-5625	ArawakanLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5501-5501	AruanLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5632-5632	ArutaniSapeLanguage e' uma sub-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5667-5667	AustralianLanguage e' uma sub-classe de SpokenHumanLanguage
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