TreeView Knowledge Base Browser - OzoneLayerProtectionProtocol

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9508-9508
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8634-8634
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9509-9509
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3281-3281	OzoneLayerProtectionProtocol e' uma instancia de Agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3283-3283	conventionalLongName "Montreal Protocol on Substances That Deplete the Ozone Layer" and OzoneLayerProtectionProtocol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3287-3287	conventionalShortName "Montreal Protocol" and OzoneLayerProtectionProtocol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3285-3285	conventionalShortName "Ozone Layer Protection" and OzoneLayerProtectionProtocol
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43848-43848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43847-43847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43846-43846