KokoNor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KokoNor

KokoNor(koko nor)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6653-6653
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7155-7155
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7156-7156
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5107-5107	Koko nor is an instance of salt lake

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5108-5108	Koko nor has name "Koko Nor"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5109-5109	Koko nor has name "Qinghai Hu"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32755-32755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32754-32754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32753-32753

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