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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SenecaOnondagaLanguage

 Sigma KEE - SenecaOnondagaLanguage
SenecaOnondagaLanguage

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 SenecaOnondagaLanguage est une sous-classe de FiveNationsLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11190-11190 OnondagaGroupLanguage est une sous-classe de SenecaOnondagaLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11208-11208 SenecaCayugaLanguage est une sous-classe de SenecaOnondagaLanguage
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