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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YerevanArmenia

 Sigma KEE - YerevanArmenia
YerevanArmenia
more pictures...

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 geographicSubregion YerevanArmenia and Armenia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2460-2460 YerevanArmenia e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3683-3683 YerevanArmenia se chama nome "Yerevan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63829-63829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63828-63828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63827-63827


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