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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Delaware
Delaware(Delaware)
DE, Delaware, Diamond_State, First_State

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 is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 Delaware meets maryland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware meets pennsylvania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 New jersey united states meets Delaware
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64752-64752


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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