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 est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 Delaware rencontre Maryland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware rencontre NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware rencontre Pennsylvania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 NewJersey rencontre Delaware
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64754-64754


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