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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3587-3587	currencyType Yugoslavia and YugoslavianDinar
No TPTP formula. May not be expressible in strict first order.	Economy.kif 601-601	economyType Yugoslavia and CountryInTransition
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 est une instance de nation

appearance as argument number 2

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

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