OzoneShield - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2788-2791
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2793-2793	臭氧盾是 25.0 英里 above 地表
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9514-9514
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9515-9515
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9512-9512
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8635-8635
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9513-9513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9510-9510
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9511-9511
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2772-2772	臭氧盾是大气地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2773-2773	臭氧盾是复合物质的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43854-43854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43853-43853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43852-43852