Palisade - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Palisade VirusPart)	VirusProteinAndCellPart.kif 1109-1109	Palisade is a subclass of virus part
(documentation Palisade EnglishLanguage "The class of palisades.")	VirusProteinAndCellPart.kif 1110-1110	Palisade is a subclass of virus part
(externalImage Palisade "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Tapisserie_motte_maquette.jpg")	pictureList.kif 6748-6748	Palisade is a subclass of virus part
(externalImage Palisade "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ St_Fagans_Celtic_village_palisade.jpg")	pictureList.kif 7488-7488	Palisade is a subclass of virus part

appearance as argument number 2

(termFormat EnglishLanguage Palisade "palisade")	domainEnglishFormat.kif 44117-44117
(termFormat ChineseTraditionalLanguage Palisade "柵欄")	domainEnglishFormat.kif 44118-44118
(termFormat ChineseLanguage Palisade "栅栏")	domainEnglishFormat.kif 44119-44119

consequent

(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Palisade))))

If X is an instance of virus core envelope, then there exists Y such that Y is a proper part of X and Y is an instance of palisade