TreeView Knowledge Base Browser - JanMayenIsland

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - JanMayenIsland

JanMayenIsland(jan mayen island)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3795-3795	Jan mayen island is a dependent of norway
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3796-3796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4896-4896
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5014-5014
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5015-5015
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 322-322	Jan mayen island is a geographic subregion of northern europe
No TPTP formula. May not be expressible in strict first order.	Media.kif 2586-2586	Jan mayen island is a geographic subregion of Svalbard and Jan Mayen island
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3890-3890	Jan mayen island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 312-312	Jan mayen island is an instance of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4039-4039	Jan mayen island has name "Jan Mayen Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31447-31447
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31446-31446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31445-31445

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