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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oregon
Oregon(Oregon)
more pictures...		Beaver_State, OR, Oregon

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1084-1084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5409-5409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5408-5408
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5153-5153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5407-5407
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5405-5405
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5406-5406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5410-5410
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1081-1081 Oregon is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1083-1083 Oregon meets california
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1082-1082 Oregon meets pacific ocean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 906-906 California meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1030-1030 Nevada meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1142-1142 Washington meets Oregon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65273-65273


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