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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DushanbeAirportTajikistan

Sigma KEE - DushanbeAirportTajikistan
DushanbeAirportTajikistan(dushanbe airport tajikistan)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5612-5612
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2809-2809 Dushanbe airport tajikistan is a geographic subregion of tajikistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2808-2808 Dushanbe airport tajikistan is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2810-2810 Dushanbe airport tajikistan has name "Dushanbe airport"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20700-20700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20699-20699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20698-20698


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