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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reel
Reel

appearance as argument number 1
-------------------------


(documentation Reel EnglishLanguage "A Device for Keeping something Pliable and LongAndThin in place, typically in a coiled shape.") Cars.kif 4243-4243
(subclass Reel Device) Cars.kif 4242-4242

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


(termFormat ChineseLanguage Reel "卷轴") domainEnglishFormat.kif 49013-49013
(termFormat ChineseTraditionalLanguage Reel "捲軸") domainEnglishFormat.kif 49012-49012
(termFormat EnglishLanguage Reel "reel") domainEnglishFormat.kif 49011-49011

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 4261-4273
(=>
    (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 4275-4288
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4245-4247
(=>
    (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 4249-4259


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