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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LongAndThin

Sigma KEE - LongAndThin
LongAndThin
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 2733-2735
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Salisbury_Road_Traffic_Light.jpg") pictureList.kif 11391-11391
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Sexy_dancer_01.jpg") pictureList.kif 11390-11390
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Giraffe_Staring.jpg") pictureList.kif 11388-11388
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Nails.jpg") pictureList.kif 11397-11397
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Ares-V_%28Feb_2008%29.jpg") pictureList.kif 11393-11393
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Giraffe_standing.jpg") pictureList.kif 11389-11389
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Mechanical_pencil.jpg") pictureList.kif 10112-10112
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Syringe_with_needle_and_needle_cap.jpeg") pictureList.kif 11396-11396
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Space_Needle.jpg") pictureList.kif 11394-11394
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Proton_Zvezda.jpg") pictureList.kif 11392-11392
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") pictureList.kif 11387-11387
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 2737-2737

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


(termFormat ChineseLanguage LongAndThin "又长又瘦") domainEnglishFormat.kif 34962-34962
(termFormat ChineseTraditionalLanguage LongAndThin "又長又瘦") domainEnglishFormat.kif 34961-34961
(termFormat EnglishLanguage LongAndThin "long and thin") domainEnglishFormat.kif 34960-34960

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 4290-4302
(=>
    (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 4304-4317
(=>
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2)))
    (exists (?M)
        (relativeAngle ?L1 ?L2 ?M)))
Merge.kif 17177-17187
(=>
    (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 2739-2750

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


(=>
    (and
        (instance ?X Pasta)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Pasta)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 600-608
(=>
    (and
        (instance ?X Spaghetti)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Spaghetti)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 881-889
(=>
    (instance ?B Baton)
    (attribute ?B LongAndThin))
Mid-level-ontology.kif 2797-2799
(=>
    (instance ?L LeafSpring)
    (attribute ?L LongAndThin))
Cars.kif 898-900
(=>
    (instance ?R Rod)
    (attribute ?R LongAndThin))
Cars.kif 4129-4131
(=>
    (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 4278-4288
(=>
    (physicalEnd ?E ?O)
    (attribute ?O LongAndThin))
Mid-level-ontology.kif 1202-1204
(=>
    (physicalEnd ?E ?O)
    (not
        (attribute ?E LongAndThin)))
Mid-level-ontology.kif 1206-1209
(=>
    (physicalEnd ?P1 ?O)
    (attribute ?O LongAndThin))
Merge.kif 17239-17241
(=>
    (relativeAngle ?L1 ?L2 ?M)
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2))))
Merge.kif 17189-17198


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