Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Pliable
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
-------------------------


(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))		 Merge.kif 18103-18110 If X is an instance of object and pliable is an attribute of X, then there exists Y such that Y is an instance of shape change and X is a patient of Y
(=>
    (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 4194-4206 If All of the following hold: (1) X is an instance of reel (2) 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, then there exists W such that W is a part of Z and W meets X
(=>
    (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 4208-4221 If All of the following hold: (1) X is an instance of reel (2) 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, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess of Y

consequent
-------------------------


(=>
    (instance ?BAG Bag)
    (attribute ?BAG Pliable))		 Mid-level-ontology.kif 5040-5042 If X is an instance of bag, then pliable is an attribute of X
(=>
    (instance ?W Wicker)
    (attribute ?W Pliable))		 Mid-level-ontology.kif 5175-5177 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 5209-5223 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners