No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14991-14991	RussianLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3181-3181	SierraOccidentalLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14995-14995	SpanishLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3192-3192	TicunaLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3206-3206	TolLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3222-3222	TrumaiLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3231-3231	TuxaLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3239-3239	WaraoLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3254-3254	YaleLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3268-3268	YamanaLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3282-3282	YuchiLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3291-3291	YuracareLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3300-3300	ZuniLanguage est une instance de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1448-1448	Langage humain est compl�tement d�compos� en SpokenHumanLanguage + ManualHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4602-4602	AfroAsiaticLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5063-5063	AlacalufanLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5093-5093	AlgicLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5100-5100	AltaicLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5329-5329	AmtoMusanLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5359-5359	AndamaneseLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5587-5587	AraucanianLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5625-5625	ArawakanLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5501-5501	AruanLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5632-5632	ArutaniSapeLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5667-5667	AustralianLanguage est une sous-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