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 est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1090-1090 Pennsylvania rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1089-1089 Pennsylvania rencontre Ohio
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1088-1088 Pennsylvania rencontre WestVirginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware rencontre Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 NewJersey rencontre Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1059-1059 NewYorkState rencontre Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 763-763 PhiladelphiaPennsylvania est une partie de Pennsylvania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 766-766 PittsburghPennsylvania est une partie 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