Tundra - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tundra

Tundra(tundra)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6731-6733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4837-4837
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6727-6727	Tundra is a subclass of biome
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6728-6728	Tundra is a subclass of plain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59462-59462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59461-59461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59460-59460

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6735-6737	If a geographic area is an instance of tundra, then lichen is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6739-6741	If a geographic area is an instance of tundra, then moss is found in the geographic area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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