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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crystal

 Sigma KEE - StockholmSweden
StockholmSweden(stockholm sweden)
more pictures...		Stockholm, capital_of_Sweden

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2341-2341
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4321-4321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4323-4323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4329-4329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4326-4326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4324-4324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4328-4328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4028-4028
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4327-4327
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3547-3547 Stockholm sweden is a geographic subregion of sweden
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2340-2340 Stockholm sweden is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3548-3548 Stockholm sweden has name "Stockholm"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55398-55398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55397-55397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55396-55396


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