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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pliable

Sigma KEE - Pliable
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 17588-17589
(instance Pliable InternalAttribute) Merge.kif 17587-17587 instance Pliable and InternalAttribute

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


(contraryAttribute Rigid Pliable) Merge.kif 17601-17601 contraryAttribute Rigid and Pliable
(termFormat ChineseLanguage Pliable "易弯的") domainEnglishFormat.kif 46280-46280
(termFormat ChineseTraditionalLanguage Pliable "易彎的") domainEnglishFormat.kif 46279-46279
(termFormat EnglishLanguage Pliable "pliable") domainEnglishFormat.kif 46278-46278

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 4287-4299
(=>
    (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 4301-4314
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 17591-17598

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


(=>
    (instance ?B Balloon)
    (attribute ?B Pliable))
Cars.kif 3589-3591
(=>
    (instance ?BAG Bag)
    (attribute ?BAG Pliable))
Mid-level-ontology.kif 4417-4419
(=>
    (instance ?D Drivebelt)
    (attribute ?D Pliable))
Cars.kif 2315-2317
(=>
    (instance ?H Hose)
    (hasPurpose ?H
        (attribute ?H Pliable)))
Cars.kif 4263-4266
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4798-4800
(=>
    (instance ?W Wicker)
    (attribute ?W Pliable))
Mid-level-ontology.kif 4552-4554
(=>
    (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 4586-4600
(=>
    (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 4275-4285
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3667-3673


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners