|
|
  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 17765-17766 | |
| (instance Pliable InternalAttribute) | Merge.kif 17764-17764 | 例 易彎的 and InternalAttribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 17778-17778 | 相反的屬性 硬性 and 易彎的 |
| (termFormat ChineseLanguage Pliable "易弯的") | domainEnglishFormat.kif 46290-46290 | |
| (termFormat ChineseTraditionalLanguage Pliable "易彎的") | domainEnglishFormat.kif 46289-46289 | |
| (termFormat EnglishLanguage Pliable "pliable") | domainEnglishFormat.kif 46288-46288 |
| 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 4295-4307 | |
| (=> (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 4309-4322 | |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17768-17775 |
| consequent |
|
|
| (=> (instance ?B Balloon) (attribute ?B Pliable)) |
Cars.kif 3597-3599 | |
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 4457-4459 | |
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2321-2323 | |
| (=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable))) |
Cars.kif 4271-4274 | |
| (=> (instance ?T Tire) (attribute ?T Pliable)) |
Cars.kif 4806-4808 | |
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 4592-4594 | |
| (=> (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 4626-4640 | |
| (=> (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 4283-4293 | |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3675-3681 |
|
|
|
|