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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1427-1428
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 9310-9310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9313-9313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8529-8529
No TPTP formula. May not be expressible in strict first order. Merge.kif 1424-1424 人类语言 详尽无遗地 partition自然语言人工语言
No TPTP formula. May not be expressible in strict first order. Merge.kif 1425-1425 人类语言 详尽无遗地 partition口语人类语言手动人类语言
No TPTP formula. May not be expressible in strict first order. Merge.kif 1423-1423 人类语言语言subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1437-1437 人工语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1462-1462 手动人类语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1454-1454 自然语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1468-1468 口语人类语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1485-1485 WrittenHumanLanguage人类语言subclass
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1383-1383 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言
No TPTP formula. May not be expressible in strict first order. Merge.kif 370-370 文档 的 2 数量 是 人类语言instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 198-198 pastTense 的 1 数量 是 人类语言instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 191-191 utterance 的 1 数量 是 人类语言instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1430-1435