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 3260-3262
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Salisbury_Road_Traffic_Light.jpg") pictureList.kif 11368-11368
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Sexy_dancer_01.jpg") pictureList.kif 11367-11367
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Giraffe_Staring.jpg") pictureList.kif 11365-11365
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Nails.jpg") pictureList.kif 11374-11374
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Ares_V_%28Feb_2008%29.jpg") pictureList.kif 11370-11370
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Giraffe_standing.jpg") pictureList.kif 11366-11366
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Mechanical_pencil.jpg") pictureList.kif 10101-10101
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Syringe_with_needle_and_needle_cap.jpeg") pictureList.kif 11373-11373
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Space_Needle.jpg") pictureList.kif 11371-11371
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Proton_Zvezda.jpg") pictureList.kif 11369-11369
(externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") pictureList.kif 11364-11364
(instance LongAndThin ShapeAttribute) Mid-level-ontology.kif 3264-3264

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


(termFormat ChineseLanguage LongAndThin "又长又瘦") domainEnglishFormat.kif 34990-34990
(termFormat ChineseTraditionalLanguage LongAndThin "又長又瘦") domainEnglishFormat.kif 34989-34989
(termFormat EnglishLanguage LongAndThin "long and thin") domainEnglishFormat.kif 34988-34988

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 4348-4360
(=>
    (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 4362-4375
(=>
    (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 18065-18075
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))		 Mid-level-ontology.kif 3266-3279

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


(=>
    (and
        (instance ?R Rotating)
        (patient ?R ?TRACK)
        (instance ?TRACK ContinuousTrack))
    (exists (?COLL ?MEM ?TREAD ?R2)
        (and
            (instance ?COLL Collection)
            (member ?MEM ?COLL)
            (instance ?MEM Wheel)
            (memberCount ?MEM ?I)
            (greaterThan ?I 2)
            (part ?COLL ?TRACK)
            (part ?TREAD ?TRACK)
            (instance ?TREAD CorpuscularObject)
            (shape ?TREAD LongAndThin)
            (attribute ?TREAD Pliable)
            (located ?COLL ?TREAD)
            (instance ?R2 Rotating)
            (causes ?R2 ?R))))		 Military.kif 193-212
(=>
    (and
        (instance ?X Pasta)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Pasta)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))		 Food.kif 2629-2637
(=>
    (and
        (instance ?X Spaghetti)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Spaghetti)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))		 Food.kif 3471-3479
(=>
    (instance ?B Baton)
    (attribute ?B LongAndThin))		 Mid-level-ontology.kif 3326-3328
(=>
    (instance ?L LeafSpring)
    (attribute ?L LongAndThin))		 Cars.kif 898-900
(=>
    (instance ?R Rod)
    (attribute ?R LongAndThin))		 Cars.kif 4187-4189
(=>
    (instance ?SPINE PlantSpinoseStructure)
    (and
        (attribute ?SPINE LongAndThin)
        (attribute ?SPINE Rigid)))		 Mid-level-ontology.kif 10910-10914
(=>
    (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 4336-4346
(=>
    (physicalEnd ?E ?O)
    (attribute ?O LongAndThin))		 Mid-level-ontology.kif 1479-1481
(=>
    (physicalEnd ?E ?O)
    (not
        (attribute ?E LongAndThin)))		 Mid-level-ontology.kif 1483-1486
(=>
    (physicalEnd ?P1 ?O)
    (attribute ?O LongAndThin))		 Merge.kif 18129-18131
(=>
    (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 18077-18086


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