|
|
   SpokenHumanLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SpokenHumanLanguage ChineseLanguage " SpokenHumanLanguage 是一种用人类的声音 来表达的 HumanLanguage 。它也可以用书写，以视像的形式来表达，可是不是所有的 SpokenHumanLanguage 都编纂有书面语。") | Merge.kif 1526-1528 | |
| (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 1522-1525 | |
| (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 1521-1521 |
| appearance as argument number 2 |
|
|
| 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 23584-23597 |
|
|
|
