TreeView Knowledge Base Browser - SouthernEurope

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SouthernEurope

SouthernEurope(南歐)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 218-218	南歐是東半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 159-159	南歐是歐洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 219-219	南歐是北半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 87-87	例南歐 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 331-331	希臘是南歐的 geographic 次要地區
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 335-335	意大利是南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 337-337	馬耳他是南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 339-339	聖馬力諾是南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 117-117	名 "Southern Europe" and 南歐
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54210-54210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54209-54209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54208-54208

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