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 7881-7883
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 7879-7879 子類 新約 and Book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7880-7880 包含內容類 新約 and 基督教福音書

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7865-7865 包含內容類 基督教聖經 and 新約
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