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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HolySee

Sigma KEE - HolySee
HolySee(教廷)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1254-1254
No TPTP formula. May not be expressible in strict first order. Economy.kif 158-158 發達國家教廷economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3534-3534
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3336-3336
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 333-333 教廷南歐geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 334-334 教廷 and 歐洲國家

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4045-4045 "Holy See" and 教廷
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28419-28419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28418-28418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28417-28417

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2774-2774 "VA" 在 ISO-3166-1-alpha-2 denotes 教廷


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