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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpokenHumanLanguage
SpokenHumanLanguage(spoken human language)
more pictures...
accent, dialect, eye_dialect, idiom

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1676-1678
No TPTP formula. May not be expressible in strict first order. Merge.kif 1374-1377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11912-11912
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11911-11911
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11914-11914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11913-11913
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11910-11910
No TPTP formula. May not be expressible in strict first order. Merge.kif 1372-1372 Spoken human language is a subclass of human language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2923-2923 Abinomn language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 2935-2935 Ainu japanese language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 2954-2954 Andoque language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 2968-2968 Burmeso language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 2983-2983 Burushaski language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3000-3000 Busa language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3009-3009 Camsa language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3018-3018 Cayubaba language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1413-1413 English language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14416-14416 FaroeseLanguage is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12699-12699 French language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12704-12704 German language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3027-3027 Gilyak language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12709 Greek language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3046-3046 Itonama language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3055-3055 Karkar yuri language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3066-3066 Kibiri language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3077-3077 Korean language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3114-3114 Kutenai language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12713-12713 Latin language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3128-3128 Nihali language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3144-3144 Pankararu language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3153-3153 Puelche language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3161-3161 Puinave language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 3173-3173 Purepecha language is an instance of spoken human language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23702-23715


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