No TPTP formula. May not be expressible in strict first order.	Languages.kif 3984-3984	HibitoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3992-3992	HimarimaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 3998-3998	HwlaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4006-4006	IapamaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4013-4013	ImeraguenLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4024-4024	KaimbeLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4031-4031	KambaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4039-4039	KambiwaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4046-4046	KapinawaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4053-4053	KaraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4060-4060	KarahawyanaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4068-4068	KaripunaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4077-4077	KaririXocoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4090-4090	KaririXokoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4106-4106	KehuLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4099-4099	KembraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4113-4113	KohoroxitariLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4120-4120	KoruboLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4128-4128	KujargeLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4139-4139	KunzaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4148-4148	KwaviLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4155-4155	LaalLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4167-4167	LecoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4176-4176	LencaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4190-4190	LepkiLanguage est une instance 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