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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pennsylvania

 Sigma KEE - Pennsylvania
Pennsylvania(宾夕法尼亚)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1086-1087
No TPTP formula. May not be expressible in strict first order. pictureList.kif 660-660
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1085-1085 宾夕法尼亚 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 宾夕法尼亚 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1089-1089 宾夕法尼亚 接上 俄亥俄州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1088-1088 宾夕法尼亚 接上 WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware 接上 宾夕法尼亚
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 新泽西州美国 接上 宾夕法尼亚
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 纽约州 接上 宾夕法尼亚
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 763-763 费城宾夕法尼亚州 是 宾夕法尼亚 的 part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 766-766 匹兹堡宾夕法尼亚州 是 宾夕法尼亚 的 part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45036-45036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45035-45035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45034-45034


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