OzoneLayerProtectionProtocol - Sigma Knowledge base Browser

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	Ozone layer protection protocol is an instance of agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3283-3283	Ozone layer protection protocol is a conventional long name of "Montreal Protocol on Substances That Deplete the Ozone Layer"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3287-3287	Ozone layer protection protocol is a conventional short name of "Montreal Protocol"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3285-3285	Ozone layer protection protocol is a conventional short name of "Ozone Layer Protection"
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