Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 16399-16400
(instance Pliable InternalAttribute) Merge.kif 16398-16398 Pliable is an instance of internal attribute

appearance as argument number 2
-------------------------


(contraryAttribute Rigid Pliable) Merge.kif 16412-16412 Rigid is the opposite of pliable
(termFormat ChineseLanguage Pliable "易弯的") domainEnglishFormat.kif 46225-46225 "易弯的" is the printable form of pliable in ChineseLanguage
(termFormat ChineseTraditionalLanguage Pliable "易彎的") domainEnglishFormat.kif 46224-46224 "易彎的" is the printable form of pliable in ChineseTraditionalLanguage
(termFormat EnglishLanguage Pliable "pliable") domainEnglishFormat.kif 46223-46223 "pliable" is the printable form of pliable in english language

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 4259-4271
(=>
    (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 4273-4286
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 16402-16409

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


(=>
    (instance ?B Balloon)
    (attribute ?B Pliable))
Cars.kif 3565-3567
(=>
    (instance ?BAG Bag)
    (attribute ?BAG Pliable))
Mid-level-ontology.kif 4933-4935
(=>
    (instance ?D Drivebelt)
    (attribute ?D Pliable))
Cars.kif 2301-2303
(=>
    (instance ?H Hose)
    (hasPurpose ?H
        (attribute ?H Pliable)))
Cars.kif 4235-4238
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4777-4779
(=>
    (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 4247-4257
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3640-3646


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners