VolcanoStatus - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4069-4069	火山活跃是所有的火山状况的 attributes
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9805-9805
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9803-9803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8783-8783
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4064-4064	火山状况是内在属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4065-4065	火山活跃是火山状况的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4066-4066	火山休眠是火山状况的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4067-4067	火山灭绝是火山状况的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61919-61919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61918-61918
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61917-61917