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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11401-11401
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Sexy_dancer_01.jpg") pictureList.kif 11400-11400
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Giraffe_Staring.jpg") pictureList.kif 11398-11398
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Nails.jpg") pictureList.kif 11407-11407
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Ares-V_%28Feb_2008%29.jpg") pictureList.kif 11403-11403
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Giraffe_standing.jpg") pictureList.kif 11399-11399
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Mechanical_pencil.jpg") pictureList.kif 10122-10122
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Syringe_with_needle_and_needle_cap.jpeg") pictureList.kif 11406-11406
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Space_Needle.jpg") pictureList.kif 11404-11404
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Proton_Zvezda.jpg") pictureList.kif 11402-11402
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") pictureList.kif 11397-11397
(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 17162-17172
(=>
    (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 17224-17226
(=>
    (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 17174-17183


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