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 1486-1489 | |
| 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 1484-1484 | 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 1530-1530 | 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 15828-15828 | French language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15833-15833 | 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 15838-15838 | 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 15842-15842 | 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 26672-26685 |
|
|
|
|