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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JapaneseSignLanguage
JapaneseSignLanguage(日語手語)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 746-753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11271-11271
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11270-11270
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11272-11272
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11258-11258
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11254-11254
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11269-11269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11264-11264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11255-11255
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11261-11261
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11260-11260
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11267-11267
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11265-11265
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11266-11266
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11257-11257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11259-11259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11262-11262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11263-11263
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10076-10076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11268-11268
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11256-11256
No TPTP formula. May not be expressible in strict first order. Languages.kif 745-745 例 日語手語 and 聾人手語

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31489-31489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31488-31488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31487-31487


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