LandminesIssue - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8567-8567
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9363-9363
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9364-9364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9365-9365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9366-9366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9368-9368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9367-9367
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6895-6895	地雷问题是环境问题的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33253-33253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33252-33252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33251-33251