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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewTestament

 Sigma KEE - NewTestament
NewTestament(新约)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7880-7882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2878-2878
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2714-2714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7878-7878 新约 是 书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7879-7879 新约 包含 基督教福音书 的内容

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7864-7864 基督教圣经 包含 新约 的内容
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40371-40371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40370-40370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40369-40369


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