| Palisade(palisade)
|
| appearance as argument number 1 |
|
| (documentation Palisade EnglishLanguage "The class of palisades.") | VirusProteinAndCellPart.kif 1125-1125 | |
| (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 1124-1124 | Palisade is a subclass of virus part |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Palisade "栅栏") | domainEnglishFormat.kif 44155-44155 | |
| (termFormat ChineseTraditionalLanguage Palisade "柵欄") | domainEnglishFormat.kif 44154-44154 | |
| (termFormat EnglishLanguage Palisade "palisade") | domainEnglishFormat.kif 44153-44153 |
| consequent |
|
|
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade)))) |
VirusProteinAndCellPart.kif 1127-1132 |
|
|
|
|