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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PollutionIssue

 Sigma KEE - YerevanArmenia
YerevanArmenia(yerevan armenia)
more pictures...		Erivan, Jerevan, Yerevan, capital_of_Armenia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2461-2461
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5835-5835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5832-5832
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5833-5833
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5836-5836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5834-5834
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5696-5696
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3682-3682 Yerevan armenia is a geographic subregion of armenia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2460-2460 Yerevan armenia is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3683-3683 Yerevan armenia has name "Yerevan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63831-63831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63830-63830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63829-63829


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