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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LongAndThin
LongAndThin(long and thin)
more pictures...

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


(documentation LongAndThin EnglishLanguage "This ShapeAttribute describes a three dimensional Object that is markedly longer in one dimension than in the other two.") Mid-level-ontology.kif 3271-3273
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Salisbury_Road_Traffic_Light.jpg") pictureList.kif 11402-11402
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Sexy_dancer_01.jpg") pictureList.kif 11401-11401
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Giraffe_Staring.jpg") pictureList.kif 11399-11399
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Nails.jpg") pictureList.kif 11408-11408
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Ares-V_%28Feb_2008%29.jpg") pictureList.kif 11404-11404
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Giraffe_standing.jpg") pictureList.kif 11400-11400
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Mechanical_pencil.jpg") pictureList.kif 10123-10123
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Syringe_with_needle_and_needle_cap.jpeg") pictureList.kif 11407-11407
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Space_Needle.jpg") pictureList.kif 11405-11405
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Proton_Zvezda.jpg") pictureList.kif 11403-11403
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") pictureList.kif 11398-11398
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3275-3275 Long and thin is an instance of shape attribute

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


(termFormat ChineseLanguage LongAndThin "又长又瘦") domainEnglishFormat.kif 34873-34873
(termFormat ChineseTraditionalLanguage LongAndThin "又長又瘦") domainEnglishFormat.kif 34872-34872
(termFormat EnglishLanguage LongAndThin "long and thin") domainEnglishFormat.kif 34871-34871

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 4260-4272
(=>
    (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 4274-4287
(=>
    (attribute ?F LongAndThin)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (length ?F
            (MeasureFn ?HF ?U))
        (length ?S1
            (MeasureFn ?H1 ?U))
        (length ?S2
            (MeasureFn ?H2 ?U))
        (lessThan ?H1
            (MultiplicationFn 3 ?HF))
        (lessThan ?H2
            (MultiplicationFn 3 ?HF))))
Mid-level-ontology.kif 3277-3288

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


(=>
    (and
        (instance ?X Pasta)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Pasta)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 618-626
(=>
    (and
        (instance ?X Spaghetti)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Spaghetti)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 896-904
(=>
    (instance ?B Baton)
    (attribute ?B LongAndThin))
Mid-level-ontology.kif 3333-3335
(=>
    (instance ?L LeafSpring)
    (attribute ?L LongAndThin))
Cars.kif 889-891
(=>
    (instance ?R Rod)
    (attribute ?R LongAndThin))
Cars.kif 4099-4101
(=>
    (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 4248-4258
(=>
    (physicalEnd ?E ?O)
    (attribute ?O LongAndThin))
Mid-level-ontology.kif 1653-1655
(=>
    (physicalEnd ?E ?O)
    (not
        (attribute ?E LongAndThin)))
Mid-level-ontology.kif 1657-1660


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