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 1374-1377 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11912-11912 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11911-11911 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11914-11914 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11913-11913 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11910-11910 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1372-1372 | 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 1413-1413 | English language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14416-14416 | FaroeseLanguage is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12699-12699 | French language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12704-12704 | 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 12709-12709 | 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 12713-12713 | 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 23702-23715 |
|
|
|
|