| 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 17822-17823 | |
| (instance Pliable InternalAttribute) | Merge.kif 17821-17821 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 17835-17835 | |
| (termFormat ChineseLanguage Pliable "易弯的") | domainEnglishFormat.kif 46323-46323 | |
| (termFormat ChineseTraditionalLanguage Pliable "易彎的") | domainEnglishFormat.kif 46322-46322 | |
| (termFormat EnglishLanguage Pliable "pliable") | domainEnglishFormat.kif 46321-46321 |
| 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 4347-4359 | |
| (=> (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 4361-4374 | |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17825-17832 |
| consequent |
|
|
| (=> (instance ?B Balloon) (attribute ?B Pliable)) |
Cars.kif 3649-3651 | |
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 4452-4454 | |
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2298-2300 | |
| (=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable))) |
Cars.kif 4323-4326 | |
| (=> (instance ?T Tire) (attribute ?T Pliable)) |
Cars.kif 4858-4860 | |
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 4587-4589 | |
| (=> (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 4621-4635 | |
| (=> (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 4335-4345 | |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3727-3733 |
|
|
|