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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DarvazTajikistan

 Sigma KEE - DarvazTajikistan
DarvazTajikistan(darvaz tajikistan)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1657-1657
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5611-5611
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2771-2771 Darvaz tajikistan is a geographic subregion of tajikistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1656-1656 Darvaz tajikistan is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2772-2772 Darvaz tajikistan has name "Darvaz"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18534-18534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18533-18533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18532-18532


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