WarsawPact - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4249-4249	The day 1 is a date dissolved of warsaw pact
No TPTP formula. May not be expressible in strict first order.	Government.kif 4248-4248	The day 14 is a date established of warsaw pact
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8247-8247
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6967-6967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8246-8246
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8248-8248
No TPTP formula. May not be expressible in strict first order.	Government.kif 4245-4245	Warsaw pact is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4250-4250	Mutual defense pact is an organizational objective of warsaw pact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4247-4247	"WP" is an abbreviation of warsaw pact
No TPTP formula. May not be expressible in strict first order.	Government.kif 4246-4246	Warsaw pact is a conventional long name of "Warsaw Pact"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62231-62231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62230-62230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62229-62229