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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Delaware

 Sigma KEE - Delaware
Delaware

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 922-923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5116-5116
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5238-5238
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 918-918 Delaware 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 Delaware 接上 马里兰
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware 接上 宾夕法尼亚

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 新泽西州美国 接上 Delaware
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64752-64752


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