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


KB Term:  Term intersection
English Word: 

  SpokenHumanLanguage

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

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


(subclass SpokenHumanLanguage HumanLanguage) Merge.kif 1580-1580 Spoken human language is a subclass of human language
(documentation SpokenHumanLanguage EnglishLanguage "A SpokenHumanLanguage is a HumanLanguage which has as its medium the human voice. It can also be represented visually through writing, although not all SpokenHumanLanguages have a codified written form.") Merge.kif 1582-1585 Spoken human language is a subclass of human language
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon_schriftmusterblatt.jpeg") pictureList.kif 11876-11876 Spoken human language is a subclass of human language
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ b5/ Languengl.gif") pictureList.kif 11877-11877 Spoken human language is a subclass of human language
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Hillary_Clinton_speaking_at_Families_USA.jpg") pictureList.kif 11878-11878 Spoken human language is a subclass of human language
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Tim_Pawlenty_speaking%2C_Dec_29%2C_2007.jpg") pictureList.kif 11879-11879 Spoken human language is a subclass of human language
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Einstein_Roosevelt_letter.png") pictureList.kif 11880-11880 Spoken human language is a subclass of human language

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


(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1537-1537 Human language is exhaustively partitioned into spoken human language and manual human language
(instance EnglishLanguage SpokenHumanLanguage) Merge.kif 1626-1626 English language is an instance of spoken human language
(instance ChineseLanguage SpokenHumanLanguage) Merge.kif 1629-1629 Chinese language is an instance of spoken human language
(instance JapaneseLanguage SpokenHumanLanguage) Merge.kif 1632-1632 Japanese language is an instance of spoken human language
(subclass TonalLanguage SpokenHumanLanguage) Mid-level-ontology.kif 14695-14695 Tonal language is a subclass of spoken human language
(subclass CreoleLanguage SpokenHumanLanguage) Languages.kif 1403-1403 Creole language is a subclass of spoken human language
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2924-2924 Abinomn language is an instance of spoken human language
(instance AinuJapaneseLanguage SpokenHumanLanguage) Languages.kif 2936-2936 Ainu japanese language is an instance of spoken human language
(instance AndoqueLanguage SpokenHumanLanguage) Languages.kif 2955-2955 Andoque language is an instance of spoken human language
(instance BurmesoLanguage SpokenHumanLanguage) Languages.kif 2969-2969 Burmeso language is an instance of spoken human language
(instance BurushaskiLanguage SpokenHumanLanguage) Languages.kif 2984-2984 Burushaski language is an instance of spoken human language
(instance BusaLanguage SpokenHumanLanguage) Languages.kif 3001-3001 Busa language is an instance of spoken human language
(instance CamsaLanguage SpokenHumanLanguage) Languages.kif 3010-3010 Camsa language is an instance of spoken human language
(instance CayubabaLanguage SpokenHumanLanguage) Languages.kif 3019-3019 Cayubaba language is an instance of spoken human language
(instance GilyakLanguage SpokenHumanLanguage) Languages.kif 3028-3028 Gilyak language is an instance of spoken human language
(instance ItonamaLanguage SpokenHumanLanguage) Languages.kif 3047-3047 Itonama language is an instance of spoken human language
(instance KarkarYuriLanguage SpokenHumanLanguage) Languages.kif 3056-3056 Karkar yuri language is an instance of spoken human language
(instance KibiriLanguage SpokenHumanLanguage) Languages.kif 3067-3067 Kibiri language is an instance of spoken human language
(instance KoreanLanguage SpokenHumanLanguage) Languages.kif 3078-3078 Korean language is an instance of spoken human language
(instance KutenaiLanguage SpokenHumanLanguage) Languages.kif 3115-3115 Kutenai language is an instance of spoken human language
(instance NihaliLanguage SpokenHumanLanguage) Languages.kif 3129-3129 Nihali language is an instance of spoken human language
(instance PankararuLanguage SpokenHumanLanguage) Languages.kif 3145-3145 Pankararu language is an instance of spoken human language
(instance PuelcheLanguage SpokenHumanLanguage) Languages.kif 3154-3154 Puelche language is an instance of spoken human language
(instance PuinaveLanguage SpokenHumanLanguage) Languages.kif 3162-3162 Puinave language is an instance of spoken human language
(instance PurepechaLanguage SpokenHumanLanguage) Languages.kif 3174-3174 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
-------------------------


(=>
    (and
        (attribute ?X Multilingual)
        (instance ?SPEAK Speaking)
        (agent ?SPEAK ?X))
    (modalAttribute
        (exists (?LANG1 ?LANG2)
            (and
                (instance ?LANG1 SpokenHumanLanguage)
                (instance ?LANG2 SpokenHumanLanguage)
                (not
                    (equal ?LANG1 ?LANG2))
                (or
                    (patient ?SPEAK ?LANG1)
                    (patient ?SPEAK ?LANG2)))) Possibility))		 Mid-level-ontology.kif 28316-28329 If multilingual is an attribute of X, Y is an instance of speaking, and X is an agent of Y, then the statement there exist Z, W such that Z is an instance of spoken human language, W is an instance of spoken human language, equal Z, W, and Z is a patient of Y or W is a patient of Y has the modal force of possibility


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners