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 2731-2733
(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 2735-2735

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 17259-17269
(=>
    (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 2737-2748

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 2795-2797
(=>
    (instance ?L LeafSpring)
    (attribute ?L LongAndThin))
Cars.kif 898-900
(=>
    (instance ?R Rod)
    (attribute ?R LongAndThin))
Cars.kif 4129-4131
(=>
    (instance ?SPINE PlantSpinoseStructure)
    (and
        (attribute ?SPINE LongAndThin)
        (attribute ?SPINE Rigid)))
Mid-level-ontology.kif 9151-9155
(=>
    (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 1200-1202
(=>
    (physicalEnd ?E ?O)
    (not
        (attribute ?E LongAndThin)))
Mid-level-ontology.kif 1204-1207
(=>
    (physicalEnd ?P1 ?O)
    (attribute ?O LongAndThin))
Merge.kif 17320-17322
(=>
    (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 17271-17280


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