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	Volcanically active are all the attributes of volcano status
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	Volcano status is a subclass of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4065-4065	Volcanically active is an instance of volcano status
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4066-4066	Volcanically dormant is an instance of volcano status
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4067-4067	Volcanically extinct is an instance of volcano status
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61917-61917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61916-61916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61915-61915