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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DurangoSpain
DurangoSpain(durango spain)

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


(documentation DurangoSpain EnglishLanguage "The City of Durango in Spain.") CountriesAndRegions.kif 1687-1687
(externalImage DurangoSpain "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ Vista_Durango.jpg") pictureList.kif 4669-4669
(geographicSubregion DurangoSpain Spain) CountriesAndRegions.kif 2804-2804 Durango spain is a geographic subregion of spain
(instance DurangoSpain City) CountriesAndRegions.kif 1686-1686 Durango spain is an instance of city

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


(names "Durango" DurangoSpain) CountriesAndRegions.kif 2805-2805 Durango spain has name "Durango"
(termFormat ChineseLanguage DurangoSpain "durango西班牙") domainEnglishFormat.kif 20698-20698 Durango spain has name "Durango"
(termFormat ChineseTraditionalLanguage DurangoSpain "durango西班牙") domainEnglishFormat.kif 20697-20697 Durango spain has name "Durango"
(termFormat EnglishLanguage DurangoSpain "durango spain") domainEnglishFormat.kif 20696-20696 Durango spain has name "Durango"


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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