Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TurkicLanguage
TurkicLanguage(turkic language)
more pictures...		Karakalpak, Turki, Turkic, Turkic_language, Turko-Tatar, Yakut

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 5107-5108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10310-10310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12063-12063
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12076-12076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12077-12077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12065-12065
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12066-12066
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12067-12067
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12068-12068
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12074-12074
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12071-12071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12072-12072
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12073-12073
No TPTP formula. May not be expressible in strict first order. Languages.kif 5106-5106 Turkic language is a subclass of altaic language

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14580-14580 Azerbaijani language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14581-14581 Bashkir language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14607-14607 Chuvash language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14635-14635 Kazakh language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14639-14639 Kyrgyz language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14683-14683 Tatar language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14689-14689 Turkish language is an instance of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5112-5112 Eastern turkic language is a subclass of turkic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5278-5278 Southern turkic language is a subclass of turkic language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59552-59552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59551-59551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59550-59550


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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