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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewYorkState
NewYorkState(紐約州)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1054-1054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 622-622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5387-5387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5389-5389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5151-5151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5388-5388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5390-5390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5386-5386
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1055-1055 紐約州 是 美國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1053-1053 例 紐約州 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1058-1058 空間的符合 紐約州 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1060-1060 空間的符合 紐約州 and 新澤西州美國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1061-1061 空間的符合 紐約州 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 空間的符合 紐約州 and 賓夕法尼亞

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 991-991 空間的符合 馬薩諸塞 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1126-1126 空間的符合 佛蒙特 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1056-1056 名 "New York" and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 部分 哈德遜河 and 紐約州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 部分 長島 and 紐約州
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40413-40413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40412-40412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40411-40411


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