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