more pictures...
| 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 1503-1506 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 267-269 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 314-317 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11878-11878 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11877-11877 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11880-11880 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11879-11879 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11876-11876 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1501-1501 | 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 1547-1547 | English language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14424-14424 | Faroese language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16345-16345 | French language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16350-16350 | 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 16355-16355 | 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 16359-16359 | 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 27646-27659 |
|
|
|
|