Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanLanguage
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