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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DutchCreoleLanguage
DutchCreoleLanguage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1530-1535
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10900-10900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9992-9992
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10893-10893
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10898-10898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10897-10897
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10899-10899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10902-10902
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10894-10894
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10901-10901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10895-10895
No TPTP formula. May not be expressible in strict first order. Languages.kif 1529-1529 DutchCreoleLanguage e' uma instancia de DutchBasedCreoleLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20730-20730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20729-20729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20728-20728


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