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 1493-1496 | |
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 11885-11885 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11884-11884 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11887-11887 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11886-11886 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11883-11883 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | 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 1537-1537 | 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 14971-14971 | French language is an instance of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14976-14976 | 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 14981-14981 | 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 14985-14985 | 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 25736-25749 |
|