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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oregon
Oregon
more pictures...

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 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1083-1083 Oregon 接上 加州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1082-1082 Oregon 接上 太平洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 906-906 加州 接上 Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho 接上 Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1030-1030 Nevada 接上 Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1142-1142 华盛顿 接上 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