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	VolcanicMountain est une sous-classe de Mountain
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4079-4079	VolcanicMountain est une sous-classe de Volcano

appearance as argument number 2

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