TreeView Knowledge Base Browser - NorthAtlanticTreatyOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3683-3683	dateEstablished NorthAtlanticTreatyOrganization and o dia 4
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7451-7451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7452-7452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6733-6733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7453-7453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7448-7448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7454-7454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7449-7449
No TPTP formula. May not be expressible in strict first order.	Government.kif 3680-3680	NorthAtlanticTreatyOrganization e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3684-3684	organizationalObjective NorthAtlanticTreatyOrganization and MutualDefensePact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3682-3682	abbreviation "NATO" and NorthAtlanticTreatyOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3681-3681	conventionalLongName "North Atlantic Treaty Organization" and NorthAtlanticTreatyOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3812-3812	PartnershipForPeace e' relacionado internamente por SUMO a NorthAtlanticTreatyOrganization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40971-40971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40970-40970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40969-40969