| 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 16571-16572 | |
| (instance Pliable InternalAttribute) | Merge.kif 16570-16570 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 16584-16584 | |
| (termFormat ChineseLanguage Pliable "易弯的") | domainEnglishFormat.kif 46285-46285 | |
| (termFormat ChineseTraditionalLanguage Pliable "易彎的") | domainEnglishFormat.kif 46284-46284 | |
| (termFormat EnglishLanguage Pliable "pliable") | domainEnglishFormat.kif 46283-46283 |
| 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 4261-4273 | |
| (=> (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 4275-4288 | |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 16574-16581 |
| consequent |
|
|
| (=> (instance ?B Balloon) (attribute ?B Pliable)) |
Cars.kif 3567-3569 | |
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 4939-4941 | |
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2302-2304 | |
| (=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable))) |
Cars.kif 4237-4240 | |
| (=> (instance ?T Tire) (attribute ?T Pliable)) |
Cars.kif 4779-4781 | |
| (=> (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 4249-4259 | |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3642-3648 |
|
|
|