| HumanLanguage(human language)
| | interlanguage, koine, lingua_franca |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1666-1666 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1443-1444 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 255-256 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 300-301 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9310-9310 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9308-9308 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9311-9311 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8527-8527 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1440-1440 | Human language is exhaustively partitioned into natural language and constructed language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1441-1441 | Human language is exhaustively partitioned into spoken human language and manual human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1439-1439 | Human language is a subclass of language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1453-1453 | Constructed language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1478-1478 | Manual human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1470-1470 | Natural language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1484-1484 | Spoken human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1501-1501 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 843-843 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 888-888 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 519-519 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 50-50 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 53-53 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2204-2204 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 471-471 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 55-55 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 86-86 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 345-345 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 540-540 | Written human language is a subclass of human language |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 54-54 | Written human language is a subclass of human language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1399-1399 | Language is disjointly decomposed into animal language, human language, and computer language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 363-363 | The number 2 argument of documentation is an instance of human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 198-198 | The number 1 argument of past tense is an instance of human language |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 191-191 | The number 1 argument of utterance is an instance of human language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1451 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14705-14709 |
|
|
|
|