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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SenecaOnondagaLanguage

 Sigma KEE - SenecaOnondagaLanguage
SenecaOnondagaLanguage(seneca onondaga language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11185-11186
No TPTP formula. May not be expressible in strict first order. Languages.kif 11184-11184 Seneca onondaga language is a subclass of five nations language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11190-11190 Onondaga group language is a subclass of seneca onondaga language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11208-11208 Seneca cayuga language is a subclass of seneca onondaga language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52071-52071
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52070-52070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52069-52069


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