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

Formal Language: 


KB Term:  Term intersection
English Word: 

  shape

 Sigma KEE - shape
shape

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


(documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.") Merge.kif 7673-7673
(domain shape 1 Physical) Merge.kif 7671-7671 shape の数値 1 引数は 物理 の instance では
(domain shape 2 ShapeAttribute) Merge.kif 7672-7672 shape の数値 2 引数は 形状属性 の instance では
(instance shape BinaryPredicate) Merge.kif 7669-7669 shape は 2進述語 の instance では
(subrelation shape property) Merge.kif 7670-7670 shape は property の subrelation では

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


(format ChineseLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4510-4510
(format ChineseTraditionalLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4509-4509
(format EnglishLanguage shape "%1 is %2") domainEnglishFormat.kif 4508-4508
(subrelation cellShape shape) VirusProteinAndCellPart.kif 408-408 cellShape は shape の subrelation では
(termFormat EnglishLanguage shape "shape") domainEnglishFormat.kif 65958-65958 cellShape は shape の subrelation では

antecedent
-------------------------


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))		 Cars.kif 1541-1550

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 556-561
(=>
    (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
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7675-7680
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))		 ComputingBrands.kif 2811-2813
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))		 ComputingBrands.kif 2782-2784
(=>
    (equal
        (MeasureFn
            (PerFn
                (MeasureFn ?F KilogramForce)
                (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
        (VickersHardnessFn ?CLASS))
    (modalAttribute
        (exists (?SUB ?P ?D ?H ?S)
            (and
                (instance ?SUB ?CLASS)
                (instance ?P Pushing)
                (destination ?P ?SUB)
                (instance ?D Diamond)
                (shape ?D SquarePyramid)
                (patient ?P ?D)
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?SUB)
                (surface ?S ?H)
                (totalArea ?S
                    (MeasureFn ?A SquareMillimeter))
                (measure ?P
                    (MeasureFn ?F KilogramForce)))) Likely))		 Mid-level-ontology.kif 10473-10494
(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))		 Mid-level-ontology.kif 1392-1399
(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))		 Mid-level-ontology.kif 4439-4441
(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))		 ComputerInput.kif 661-663
(=>
    (instance ?F Football)
    (shape ?F ConvexRoundShape))		 Sports.kif 352-354
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C HoleRegion)
            (equal ?HH
                (HoleHostFn ?C))
            (shape ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))		 Cars.kif 1612-1622
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C ?CIR)
            (equal ?CIR Circle)
            (diameter ?CIR
                (MeasureFn 4.25 Inch)))))		 Sports.kif 976-986
(=>
    (instance ?OBJ Blackboard)
    (shape ?OBJ Flat))		 Media.kif 1089-1091
(=>
    (instance ?OBJ OpticalDisc)
    (shape ?OBJ Flat))		 Media.kif 1135-1137
(=>
    (instance ?OBJ PrintedSheet)
    (shape ?OBJ Flat))		 Media.kif 1069-1071
(=>
    (instance ?OBJ Whiteboard)
    (shape ?OBJ Flat))		 Mid-level-ontology.kif 27531-27533
(=>
    (instance ?S Shaft)
    (exists (?CL)
        (and
            (instance ?CL Cylinder)
            (shape ?S ?CL))))		 engineering.kif 900-905
(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))		 Weather.kif 1034-1047
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 160-162
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 27252-27254
(=>
    (instance ?W Wheel)
    (shape ?W ConvexRoundShape))		 Military.kif 189-191


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