No TPTP formula. May not be expressible in strict first order.	Languages.kif 4199-4199	LufuLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4210-4210	LuoLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4216-4216	MajhwarLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4226-4226	MalakhelLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4234-4234	MatoGrossoAraraLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4242-4242	MawaLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4250-4250	MiarraLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4256-4256	MolengueLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4266-4266	MonimboLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4273-4273	MovimaLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4282-4282	MukhaDoraLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4292-4292	MunicheLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4300-4300	MurkimLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4308-4308	MutusLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4318-4318	NatagaimasLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4326-4326	PankarareLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4333-4333	PapavoLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4340-4340	PataxoHahaaiLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4349-4349	PijaoLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4357-4357	PolariLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4364-4364	PuquinaLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4371-4371	QuinquiLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4382-4382	RerBareLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4392-4392	SakirabiaLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4400-4400	ShobangLanguage e' uma instancia de UnclassifiedSpokenLanguage
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