| Palisade(palisade)
|
| appearance as argument number 1 |
|
| (documentation Palisade EnglishLanguage "The class of palisades.") | VirusProteinAndCellPart.kif 1132-1132 | |
| (externalImage Palisade "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Tapisserie_motte_maquette.jpg") | pictureList.kif 6748-6748 | |
| (externalImage Palisade "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ St_Fagans_Celtic_village_palisade.jpg") | pictureList.kif 7488-7488 | |
| (subclass Palisade VirusPart) | VirusProteinAndCellPart.kif 1131-1131 | Palisade is a subclass of virus part |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Palisade "栅栏") | domainEnglishFormat.kif 44125-44125 | |
| (termFormat ChineseTraditionalLanguage Palisade "柵欄") | domainEnglishFormat.kif 44124-44124 | |
| (termFormat EnglishLanguage Palisade "palisade") | domainEnglishFormat.kif 44123-44123 |
| consequent |
|
|
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade)))) |
VirusProteinAndCellPart.kif 1134-1139 |
|
|
|
|