TreeView Knowledge Base Browser - SpokenHumanLanguage

appearance as argument number 1

(documentation SpokenHumanLanguage ChineseLanguage " SpokenHumanLanguage 是一种用人类的声音来表达的 HumanLanguage 。它也可以用书写，以视像的形式来表达，可是不是所有的 SpokenHumanLanguage 都编纂有书面语。")	chinese_format.kif 1676-1678
(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 1503-1506
(documentation SpokenHumanLanguage JapaneseLanguage "SpokenHumanLanguage はHumanLanguage で、人間の声を媒介とする。文章を通して視覚的に表現することもできる。全てではないが、 SpokenHumanLanguage 言語には、成文化された書面形式がある。")	japanese_format.kif 267-269
(documentation SpokenHumanLanguage SpanishLanguage "Un SpokenHumanLanguage es un HumanLanguage en el que se utiliza la voz humana como medio. También se puede representarlo visualmente por the escritura aunque no todos los idiomas tienen una forma de escritura codificada.")	spanish_format.kif 314-317
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Hillary_Clinton_speaking_at_Families_USA.jpg")	pictureList.kif 11878-11878
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ b5/ Languengl.gif")	pictureList.kif 11877-11877
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Einstein_Roosevelt_letter.png")	pictureList.kif 11880-11880
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Tim_Pawlenty_speaking%2C_Dec_29%2C_2007.jpg")	pictureList.kif 11879-11879
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon_schriftmusterblatt.jpeg")	pictureList.kif 11876-11876
(subclass SpokenHumanLanguage HumanLanguage)	Merge.kif 1501-1501	Spoken human language is a subclass of human language

appearance as argument number 2

(instance AbinomnLanguage SpokenHumanLanguage)	Languages.kif 2923-2923	Abinomn language is an instance of spoken human language
(instance AinuJapaneseLanguage SpokenHumanLanguage)	Languages.kif 2935-2935	Ainu japanese language is an instance of spoken human language
(instance AndoqueLanguage SpokenHumanLanguage)	Languages.kif 2954-2954	Andoque language is an instance of spoken human language
(instance BurmesoLanguage SpokenHumanLanguage)	Languages.kif 2968-2968	Burmeso language is an instance of spoken human language
(instance BurushaskiLanguage SpokenHumanLanguage)	Languages.kif 2983-2983	Burushaski language is an instance of spoken human language
(instance BusaLanguage SpokenHumanLanguage)	Languages.kif 3000-3000	Busa language is an instance of spoken human language
(instance CamsaLanguage SpokenHumanLanguage)	Languages.kif 3009-3009	Camsa language is an instance of spoken human language
(instance CayubabaLanguage SpokenHumanLanguage)	Languages.kif 3018-3018	Cayubaba language is an instance of spoken human language
(instance EnglishLanguage SpokenHumanLanguage)	Merge.kif 1547-1547	English language is an instance of spoken human language
(instance FaroeseLanguage SpokenHumanLanguage)	Languages.kif 14424-14424	Faroese language is an instance of spoken human language
(instance FrenchLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 16345-16345	French language is an instance of spoken human language
(instance GermanLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 16350-16350	German language is an instance of spoken human language
(instance GilyakLanguage SpokenHumanLanguage)	Languages.kif 3027-3027	Gilyak language is an instance of spoken human language
(instance GreekLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 16355-16355	Greek language is an instance of spoken human language
(instance ItonamaLanguage SpokenHumanLanguage)	Languages.kif 3046-3046	Itonama language is an instance of spoken human language
(instance KarkarYuriLanguage SpokenHumanLanguage)	Languages.kif 3055-3055	Karkar yuri language is an instance of spoken human language
(instance KibiriLanguage SpokenHumanLanguage)	Languages.kif 3066-3066	Kibiri language is an instance of spoken human language
(instance KoreanLanguage SpokenHumanLanguage)	Languages.kif 3077-3077	Korean language is an instance of spoken human language
(instance KutenaiLanguage SpokenHumanLanguage)	Languages.kif 3114-3114	Kutenai language is an instance of spoken human language
(instance LatinLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 16359-16359	Latin language is an instance of spoken human language
(instance NihaliLanguage SpokenHumanLanguage)	Languages.kif 3128-3128	Nihali language is an instance of spoken human language
(instance PankararuLanguage SpokenHumanLanguage)	Languages.kif 3144-3144	Pankararu language is an instance of spoken human language
(instance PuelcheLanguage SpokenHumanLanguage)	Languages.kif 3153-3153	Puelche language is an instance of spoken human language
(instance PuinaveLanguage SpokenHumanLanguage)	Languages.kif 3161-3161	Puinave language is an instance of spoken human language
(instance PurepechaLanguage SpokenHumanLanguage)	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

(=>
    (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 27646-27659

If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process,
then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and equal the entity and the other entity and the entity is a patient of the process or the other entity is a patient of the process 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: