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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlgiersAlgeria

 Sigma KEE - AlgiersAlgeria
AlgiersAlgeria(阿爾及爾，阿爾及利亞)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1419-1419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1315-1315
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2520-2520 阿爾及爾，阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1418-1418 例 阿爾及爾，阿爾及利亞 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2521-2521 名 "Algiers" and 阿爾及爾，阿爾及利亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6510-6510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6509-6509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6508-6508


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