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	臭氧层保护协议是协议的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3283-3283	臭氧层保护协议是 "Montreal Protocol on Substances That Deplete the Ozone Layer" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3287-3287	臭氧层保护协议是 "Montreal Protocol" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3285-3285	臭氧层保护协议是 "Ozone Layer Protection" 的 conventional 简称
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