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	exhaustiveAttribute VolcanoStatus, VolcanicallyActive, VolcanicallyDormant and VolcanicallyExtinct
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	VolcanoStatus e' uma sub-classe de Atributo Interno

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4065-4065	VolcanicallyActive e' uma instancia de VolcanoStatus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4066-4066	VolcanicallyDormant e' uma instancia de VolcanoStatus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4067-4067	VolcanicallyExtinct e' uma instancia de VolcanoStatus
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