Barricade |
appearance as argument number 1 |
(documentation Barricade EnglishLanguage "WN: a barrier (usually thrown up hastily so as to impede the advance of an enemy), they stormed the barricade") | MilitaryDevices.kif 2016-2017 | |
(externalImage Barricade "http://articulatesoftware.com/SUMOpictures/working/ construction/ Barricade_1.png") | pictureList.kif 259-259 | |
(subclass Barricade Barrier) | MilitaryDevices.kif 2014-2014 | |
(subclass Barricade Device) | MilitaryDevices.kif 2015-2015 |
appearance as argument number 2 |
(termFormat ChineseLanguage Barricade "壅") | domainEnglishFormat.kif 9999-9999 | |
(termFormat ChineseTraditionalLanguage Barricade "壅") | domainEnglishFormat.kif 9998-9998 | |
(termFormat EnglishLanguage Barricade "barricade") | domainEnglishFormat.kif 9997-9997 |
antecedent |
(=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P)))))) |
MilitaryDevices.kif 2003-2012 |