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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7633-7633
(domain shape 1 Physical) Merge.kif 7631-7631 Le nombre 1 argument de shape est une instance de physique
(domain shape 2 ShapeAttribute) Merge.kif 7632-7632 Le nombre 2 argument de shape est une instance de attribut de forme
(instance shape BinaryPredicate) Merge.kif 7629-7629 shape est une instance de pr�dicat binaire
(subrelation shape property) Merge.kif 7630-7630 shape est une sous-relation de property

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 403-403 cellShape est une sous-relation de shape
(termFormat EnglishLanguage shape "shape") domainEnglishFormat.kif 65989-65989 cellShape est une sous-relation de shape

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 183-202
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7635-7640
(=>
    (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 10493-10514
(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))		 Mid-level-ontology.kif 1391-1398
(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))		 Mid-level-ontology.kif 4465-4467
(=>
    (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 27278-27280
(=>
    (instance ?S Shaft)
    (exists (?CL)
        (and
            (instance ?CL Cylinder)
            (shape ?S ?CL))))		 engineering.kif 900-905
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 160-162
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 27259-27261
(=>
    (instance ?W Wheel)
    (shape ?W ConvexRoundShape))		 Military.kif 179-181


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