TreeView Knowledge Base Browser - Czechoslovakia

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Czechoslovakia

Czechoslovakia(czechoslovakia)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 848-849
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3314-3314
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3464-3464
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3463-3463
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 847-847	Czechoslovakia is an instance of european nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18324-18324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18323-18323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18322-18322

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