Yugoslavia - Sigma Knowledge base Browser

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 e' uma instancia de Nacao

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