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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralIranianLanguage

 Sigma KEE - CentralIranianLanguage
CentralIranianLanguage(中央伊朗语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9074-9076
No TPTP formula. May not be expressible in strict first order. Languages.kif 9073-9073 中央伊朗语言 是 西北伊朗语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9079-9079 Ashtiani语言 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9087-9087 达里语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9099-9099 加齐语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9105-9105 Khunsari语言 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9111-9111 纳坦兹语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9117-9117 纳伊尼语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9138-9138 Parsi dari 语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9123-9123 Parsi语言 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9149-9149 西万迪语 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9155-9155 Soi语言 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9161-9161 Vafsi语言 是 中央伊朗语言 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13866-13866
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13865-13865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13864-13864


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