| Pliable | |
| appearance as argument number 1 |
|
|
| (documentation Pliable ChineseLanguage "拥有这个 Attribute Object 的形状可以被容易的改变。") | chinese_format.kif 3962-3962 | |
| (documentation Pliable EnglishLanguage "The shape of an Object with this Attribute can easily be altered.") | Merge.kif 17911-17912 | |
| (instance Pliable InternalAttribute) | Merge.kif 17910-17910 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 17924-17924 | |
| (termFormat ChineseLanguage Pliable "易弯的") | domainEnglishFormat.kif 46321-46321 | |
| (termFormat ChineseTraditionalLanguage Pliable "易彎的") | domainEnglishFormat.kif 46320-46320 | |
| (termFormat EnglishLanguage Pliable "pliable") | domainEnglishFormat.kif 46319-46319 |
| antecedent |
|
|
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4348-4360 | |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4362-4375 | |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17914-17921 |
| consequent |
|
|
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 183-202 | |
| (=> (instance ?B Balloon) (attribute ?B Pliable)) |
Cars.kif 3650-3652 | |
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 4921-4923 | |
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2299-2301 | |
| (=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable))) |
Cars.kif 4324-4327 | |
| (=> (instance ?T Tire) (attribute ?T Pliable)) |
Cars.kif 4859-4861 | |
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 5056-5058 | |
| (=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 5090-5104 | |
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4336-4346 | |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3728-3734 |
|
|
|