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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16919-16920
(instance Pliable InternalAttribute) Merge.kif 16918-16918

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


(contraryAttribute Rigid Pliable) Merge.kif 16932-16932
(termFormat ChineseLanguage Pliable "易弯的") domainEnglishFormat.kif 46273-46273
(termFormat ChineseTraditionalLanguage Pliable "易彎的") domainEnglishFormat.kif 46272-46272
(termFormat EnglishLanguage Pliable "pliable") domainEnglishFormat.kif 46271-46271

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 4303-4315
(=>
    (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 4317-4330
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 16922-16929

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


(=>
    (instance ?B Balloon)
    (attribute ?B Pliable))
Cars.kif 3606-3608
(=>
    (instance ?BAG Bag)
    (attribute ?BAG Pliable))
Mid-level-ontology.kif 4327-4329
(=>
    (instance ?D Drivebelt)
    (attribute ?D Pliable))
Cars.kif 2329-2331
(=>
    (instance ?H Hose)
    (hasPurpose ?H
        (attribute ?H Pliable)))
Cars.kif 4279-4282
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4821-4823
(=>
    (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 4291-4301
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3684-3690


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 is open source software produced by Articulate Software and its partners