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 Pennsylvania e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 Pennsylvania encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1089-1089 Pennsylvania encontra Ohio
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1088-1088 Pennsylvania encontra WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware encontra Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 NewJersey encontra Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 NewYorkState encontra Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 763-763 PhiladelphiaPennsylvania e' uma &parte de Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 766-766 PittsburghPennsylvania e' uma &parte de Pennsylvania
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