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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IroquoianLanguage

 Sigma KEE - IroquoianLanguage
IroquoianLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11123-11125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8550-8550
No TPTP formula. May not be expressible in strict first order. Languages.kif 11122-11122 IroquoianLanguage e' uma sub-classe de LanguageFamily

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11302-11302 SusquehannockLanguage e' uma instancia de IroquoianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11129-11129 NorthernIroquoianLanguage e' uma sub-classe de IroquoianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11277-11277 SouthernIroquoianLanguage e' uma sub-classe de IroquoianLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31087-31087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31086-31086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31085-31085


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