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 7908-7910
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 7906-7906 新约 是 书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7907-7907 新约 包含 基督教福音书 的内容

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


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


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