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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Queen

 Sigma KEE - YoronLanguage
YoronLanguage(yoron language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11458-11468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10346-10346
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12188-12188
No TPTP formula. May not be expressible in strict first order. Languages.kif 11457-11457 Yoron language is an instance of southern amami okinawan language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63925-63925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63924-63924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63923-63923


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