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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeafSignLanguage

Sigma KEE - DeafSignLanguage
DeafSignLanguage(聋人手语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 159-161
No TPTP formula. May not be expressible in strict first order. Languages.kif 158-158 聋人手语手动人类语言subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 163-163 Adamorobe手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 175-175 阿尔及利亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 181-181 美国手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 232-232 阿根廷手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 244-244 亚美尼亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 263-263 澳大利亚原住民手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 249-249 澳大利亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 275-275 奥地利手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 288-288 巴厘岛手语言聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 296-296 巴马科手语言聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 306-306 禁止khor手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 313-313 比利时手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 333-333 玻利维亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 343-343 巴西手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 355-355 英国手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 375-375 保加利亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 388-388 加泰罗尼亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 395-395 乍得手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 403-403 清迈手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 413-413 智利手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 418-418 中国手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 430-430 哥伦比亚手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 444-444 哥斯达黎加手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 450-450 捷克手语聋人手语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 463-463 丹麦手语聋人手语instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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