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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RosasSpain

 Sigma KEE - RosasSpain
RosasSpain(羅薩斯西班牙)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2250-2250
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5475-5475
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3446-3446 羅薩斯西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2249-2249 例 羅薩斯西班牙 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3447-3447 名 "Rosas" and 羅薩斯西班牙
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50462-50462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50461-50461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50460-50460


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