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 人类语言 详尽无遗地 partition自然语言人工语言
No TPTP formula. May not be expressible in strict first order. Merge.kif 1448-1448 人类语言 详尽无遗地 partition口语人类语言手动人类语言
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 人类语言语言subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1460-1460 人工语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1485-1485 手动人类语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1477-1477 自然语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1491-1491 口语人类语言人类语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1508-1508 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
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 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言
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 1453-1458

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14705-14709


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners