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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DarEsSalaAmTanzania

Sigma KEE - DarEsSalaAmTanzania
DarEsSalaAmTanzania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1655-1655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5724-5724
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5725-5725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5727-5727
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5726-5726
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2769-2769 geographicSubregion DarEsSalaAmTanzania and Tanzania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1654-1654 DarEsSalaAmTanzania e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2770-2770 DarEsSalaAmTanzania se chama nome "Dar es Sala'am"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18522-18522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18521-18521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18520-18520


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