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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanLanguage

Sigma KEE - HumanLanguage
HumanLanguage

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 1450-1451
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 9311-9311
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9309-9309
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9312-9312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8528-8528
No TPTP formula. May not be expressible in strict first order. Merge.kif 1447-1447 劃分 HumanLanguage, NaturalLanguage and ConstructedLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1448-1448 劃分 HumanLanguage, 口語人類語言 and 手動人類語言
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 子類 HumanLanguage and Language

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1460-1460 子類 ConstructedLanguage and HumanLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1485-1485 子類 手動人類語言 and HumanLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1477-1477 子類 NaturalLanguage and HumanLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1491-1491 子類 口語人類語言 and HumanLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 1508-1508 子類 WrittenHumanLanguage and HumanLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 843-843
No TPTP formula. May not be expressible in strict first order. english_format.kif 888-888
No TPTP formula. May not be expressible in strict first order. french_format.kif 519-519
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 50-50
No TPTP formula. May not be expressible in strict first order. terms-it.txt 53-53
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2204-2204
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 471-471
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 86-86
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 540-540
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 54-54

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 不相交分解 Language, AnimalLanguage, HumanLanguage and ComputerLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 370-370 文件, 2 and HumanLanguage
No TPTP formula. May not be expressible in strict first order. emotion.kif 198-198 pastTense, 1 and HumanLanguage
No TPTP formula. May not be expressible in strict first order. emotion.kif 191-191 utterance, 1 and HumanLanguage

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1453-1458