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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuebecSignLanguage
QuebecSignLanguage(quebec sign language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1066-1076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11700-11700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11705-11705
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11699-11699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11710-11710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11690-11690
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11714-11714
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11711-11711
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11698-11698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11709-11709
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10214-10214
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11708-11708
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11706-11706
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11693-11693
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11712-11712
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11697-11697
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11702-11702
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11692-11692
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11694-11694
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11707-11707
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11703-11703
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11695-11695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11704-11704
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11691-11691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11696-11696

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48314-48314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48313-48313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48312-48312


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