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 例 賓夕法尼亞 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 空間的符合 賓夕法尼亞 and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1089-1089 空間的符合 賓夕法尼亞 and 俄亥俄州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1088-1088 空間的符合 賓夕法尼亞 and WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 空間的符合 Delaware and 賓夕法尼亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 空間的符合 新澤西州美國 and 賓夕法尼亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 空間的符合 紐約州 and 賓夕法尼亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 763-763 部分 費城賓夕法尼亞州 and 賓夕法尼亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 766-766 部分 匹茲堡賓夕法尼亞州 and 賓夕法尼亞
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