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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomeItaly

 Sigma KEE - RomeItaly
RomeItaly(意大利羅馬)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 779-779 意大利 是 意大利羅馬 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 780-781
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4267-4267
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4009-4009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4264-4264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4265-4265
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4269-4269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4266-4266
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4263-4263
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4810-4810
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3444-3444 意大利羅馬 是 意大利 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 778-778 例 意大利羅馬 and 歐洲城市

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3445-3445 名 "Rome" and 意大利羅馬
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50402-50402
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50401-50401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50400-50400


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