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.") Mid-level-ontology.kif 25577-25577
(domain shape 1 Physical) Mid-level-ontology.kif 25575-25575
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 25576-25576
(instance shape BinaryPredicate) Mid-level-ontology.kif 25573-25573
(subrelation shape property) Mid-level-ontology.kif 25574-25574

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


(format ChineseLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4506-4506
(format ChineseTraditionalLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4505-4505
(format EnglishLanguage shape "%1 is %2") domainEnglishFormat.kif 4504-4504
(subrelation cellShape shape) VirusProteinAndCellPart.kif 403-403
(termFormat EnglishLanguage shape "shape") domainEnglishFormat.kif 65933-65933

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))		 Cars.kif 1541-1549
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))		 Merge.kif 7636-7641
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?R)
        (radius ?C ?R)))		 Merge.kif 7629-7634

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 568-573
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Mid-level-ontology.kif 25579-25584
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))		 ComputingBrands.kif 2811-2813
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))		 ComputingBrands.kif 2782-2784
(=>
    (circumfrence ?C ?L)
    (shape ?C Circle))		 Mid-level-ontology.kif 31141-31143
(=>
    (diameter ?CIRCLE ?LENGTH)
    (shape ?CIRCLE Circle))		 Merge.kif 7694-7696
(=>
    (equal ?L
        (DiameterFn ?C))
    (shape ?C Circle))		 Mid-level-ontology.kif 4948-4951
(=>
    (equal ?L
        (RadiusFn ?C))
    (shape ?C Circle))		 Mid-level-ontology.kif 4967-4970
(=>
    (equal ?P
        (CenterOfCircleFn ?C))
    (shape ?C Circle))		 Merge.kif 7651-7654
(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))		 Mid-level-ontology.kif 3996-3998
(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))		 ComputerInput.kif 661-663
(=>
    (instance ?F Football)
    (shape ?F ConvexRoundShape))		 Sports.kif 340-342
(=>
    (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 1611-1621
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))		 Sports.kif 964-973
(=>
    (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 25621-25623
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 160-162
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 25602-25604
(=>
    (radius ?CIRCLE ?RADIUS)
    (shape ?CIRCLE Circle))		 Merge.kif 7673-7675


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