TreeView Knowledge Base Browser - Yugoslavia

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Yugoslavia

Yugoslavia(yugoslavia)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3587-3587	Yugoslavian dinar is a currency type of yugoslavia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 601-601	Country in transition is an economy type of yugoslavia
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3645-3645
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3644-3644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3388-3388
No TPTP formula. May not be expressible in strict first order.	Economy.kif 602-602	Yugoslavia is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63961-63961
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63960-63960
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63959-63959

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