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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftMayLanguage

 Sigma KEE - LeftMayLanguage
LeftMayLanguage(left may語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11727-11729
No TPTP formula. May not be expressible in strict first order. Languages.kif 11726-11726 子類 left may語言 and 口語人類語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11732-11732 例 ama left may 語言 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11744-11744 例 博語言 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11756-11756 例 iteri語言 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11764-11764 例 nakwi語言 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11775-11775 例 尼莫語 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11785-11785 例 owiniga語言 and left may語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 11793-11793 例 岩石峰值語言 and left may語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33767-33767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33766-33766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33765-33765


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