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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SovietUnion

 Sigma KEE - SovietUnion
SovietUnion(前苏联)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 81-81
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2634-2634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2635-2635
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2530-2530
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 80-80 前苏联 是 欧洲国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54380-54380
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54379-54379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54378-54378


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