VolcanicMountain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4081-4083
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 738-738
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 973-973
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 742-742
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 743-743
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3030-3030
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 740-740
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 744-744
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 741-741
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 739-739
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4078-4078	Volcanic mountain is a subclass of mountain
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4079-4079	Volcanic mountain is a subclass of volcano

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61905-61905
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61904-61904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61903-61903