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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhiladelphiaPennsylvania

 Sigma KEE - PhiladelphiaPennsylvania
PhiladelphiaPennsylvania(philadelphia pennsylvania)
more pictures...		City_of_Brotherly_Love, Philadelphia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 764-764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5434-5434
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5432-5432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5435-5435
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5433-5433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5429-5429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5430-5430
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 762-762 Philadelphia pennsylvania is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 763-763 Philadelphia pennsylvania is a part of pennsylvania

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45558-45558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45557-45557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45556-45556


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