Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pliable(pliable) |  | bendability, bouncy, compressibility, ductile, ductileness, ductility, elastic, elasticity, fictile, flexibility, flexible, flexibleness, live, lively, malleability, malleable, moldable, plastic, plasticity, pliability, pliable, pliancy, pliant, pliantness, resilient, rubberlike, rubbery, semirigid, snap, softness, sponginess, springlike, springy, squeezability, stretch, stretchable, stretchy, supple, suppleness, tensile, tractile, viscoelastic, whip, whippy |
| appearance as argument number 1 |
|
|
| (instance Pliable InternalAttribute) | Merge.kif 18099-18099 | Pliable is an instance of internal attribute |
| (documentation Pliable EnglishLanguage "The shape of an Object with this Attribute can easily be altered.") | Merge.kif 18100-18101 | Pliable is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 18113-18113 | Rigid is the opposite of pliable |
| (termFormat EnglishLanguage Pliable "pliable") | domainEnglishFormat.kif 46283-46283 | Rigid is the opposite of pliable |
| (termFormat ChineseTraditionalLanguage Pliable "易彎的") | domainEnglishFormat.kif 46284-46284 | Rigid is the opposite of pliable |
| (termFormat ChineseLanguage Pliable "易弯的") | domainEnglishFormat.kif 46285-46285 | Rigid is the opposite of pliable |
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 5068-5070 | If X is an instance of bag, then pliable is an attribute of X |
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 5203-5205 | If X is an instance of wicker, then pliable is an attribute of X |
| (=> (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 5237-5251 | If X is an instance of weaving, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) pliable is an attribute of Y (4) Y is a patient of X (5) Z is a part of Y (6) W is a part of Y (7) equal Z (8) W (9) Z is at a right angle to to W (10) V is a result of X (11) V is an instance of artifact |
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2164-2166 | If X is an instance of drivebelt, then pliable is an attribute of X |
| (=> (instance ?B Balloon) (attribute ?B Pliable)) |
Cars.kif 3453-3455 | If X is an instance of balloon, then pliable is an attribute of X |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3535-3541 | If X is an instance of seat belt, then there exists Y such that Y is a part of X, pliable is an attribute of Y, and Y is made of fabric |
| (=> (instance ?H Hose) (hasPurpose ?H (attribute ?H Pliable))) |
Cars.kif 4170-4173 | If X is an instance of hose, then X has the purpose pliable is an attribute of X |
| (=> (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 4182-4192 | If X is an instance of reel, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y |
| (=> (instance ?T Tire) (attribute ?T Pliable)) |
Cars.kif 4690-4692 | If X is an instance of tire, then pliable is an attribute of X |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?TREAD ?R2) (and (instance ?COLL CollectionOfObjects) (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 195-214 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
|