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 1378-1381
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Hillary_Clinton_speaking_at_Families_USA.jpg")	pictureList.kif 11912-11912
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ b5/ Languengl.gif")	pictureList.kif 11911-11911
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Einstein-Roosevelt-letter.png")	pictureList.kif 11914-11914
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Tim_Pawlenty_speaking%2C_Dec_29%2C_2007.jpg")	pictureList.kif 11913-11913
(externalImage SpokenHumanLanguage "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Caslon-schriftmusterblatt.jpeg")	pictureList.kif 11910-11910
(subclass SpokenHumanLanguage HumanLanguage)	Merge.kif 1376-1376	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 1418-1418	English language is an instance of spoken human language
(instance FaroeseLanguage SpokenHumanLanguage)	Languages.kif 14416-14416	FaroeseLanguage is an instance of spoken human language
(instance FrenchLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 12701-12701	French language is an instance of spoken human language
(instance GermanLanguage SpokenHumanLanguage)	Mid-level-ontology.kif 12706-12706	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 12711-12711	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 12715-12715	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 23708-23721

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 the entity is not equal to 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: