TreeView Knowledge Base Browser - LakeRegion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LakeRegion

LakeRegion(lake region)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5401-5402
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11323-11323
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11322-11322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11317-11317
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11318-11318
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11319-11319
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11324-11324
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11321-11321
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11320-11320
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10087-10087
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5399-5399	Lake region is a subclass of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33145-33145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33144-33144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33143-33143

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 5404-5409

If an object is an instance of lake region,
then there exists a physical such that the physical is an instance of lake and the physical is located at the object

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