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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhodes
Rhodes(rhodes)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1329-1329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3599-3599
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3595-3595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3374-3374
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3598-3598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3597-3597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3596-3596
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1327-1327 Rhodes is an instance of island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1328-1328 Rhodes is a part of greece

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3126-3126 Lindos rhodes is a geographic subregion of rhodes
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49916-49916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49915-49915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49914-49914


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