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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ManualHumanLanguage
ManualHumanLanguage(手动人类语言)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1674-1675
No TPTP formula. May not be expressible in strict first order. Merge.kif 1464-1466
No TPTP formula. May not be expressible in strict first order. Merge.kif 1462-1462 手动人类语言人类语言subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 138-138 修道院手语手动人类语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 146-146 平原印度手语手动人类语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 158-158 聋人手语手动人类语言subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35995-35995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35994-35994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35993-35993

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1425-1425 人类语言 详尽无遗地 partition口语人类语言手动人类语言


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



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