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 的形状可以被容易的改变。") Merge.kif 18192-18192
(documentation Pliable EnglishLanguage "The shape of an Object with this Attribute can easily be altered.") Merge.kif 18190-18191
(instance Pliable InternalAttribute) Merge.kif 18189-18189 Pliable is an instance of internal attribute

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


(contraryAttribute Rigid Pliable) Merge.kif 18204-18204 Rigid is the opposite of pliable
(termFormat EnglishLanguage Pliable "pliable") domainEnglishFormat.kif 8137-8137 "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 4251-4263
(=>
    (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 4265-4278
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 18194-18201

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


(=>
    (instance ?B Balloon)
    (attribute ?B Pliable))
Cars.kif 3559-3561
(=>
    (instance ?BAG Bag)
    (attribute ?BAG Pliable))
Mid-level-ontology.kif 4938-4940
(=>
    (instance ?D Drivebelt)
    (attribute ?D Pliable))
Cars.kif 2301-2303
(=>
    (instance ?H Hose)
    (hasPurpose ?H
        (attribute ?H Pliable)))
Cars.kif 4227-4230
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4769-4771
(=>
    (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 4239-4249
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3634-3640


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