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 7623-7623
(domain shape 1 Physical) Merge.kif 7621-7621 shape の数値 1 引数は 物理 の instance では %n
(domain shape 2 ShapeAttribute) Merge.kif 7622-7622 shape の数値 2 引数は 形状属性 の instance では %n
(instance shape BinaryPredicate) Merge.kif 7619-7619 shape は 2進述語 の instance では %n
(subrelation shape property) Merge.kif 7620-7620 shape は property の subrelation では %n

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 cellShape は shape の subrelation では %n
(termFormat EnglishLanguage shape "shape") domainEnglishFormat.kif 65935-65935

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 7650-7655
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?R)
        (radius ?C ?R)))		 Merge.kif 7643-7648

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 556-561
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7625-7630
(=>
    (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 31177-31179
(=>
    (diameter ?CIRCLE ?LENGTH)
    (shape ?CIRCLE Circle))		 Merge.kif 7708-7710
(=>
    (equal ?L
        (DiameterFn ?C))
    (shape ?C Circle))		 Mid-level-ontology.kif 4943-4946
(=>
    (equal ?L
        (RadiusFn ?C))
    (shape ?C Circle))		 Mid-level-ontology.kif 4962-4965
(=>
    (equal ?P
        (CenterOfCircleFn ?C))
    (shape ?C Circle))		 Merge.kif 7665-7668
(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))		 Mid-level-ontology.kif 3989-3991
(=>
    (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 25666-25668
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 160-162
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 25647-25649
(=>
    (radius ?CIRCLE ?RADIUS)
    (shape ?CIRCLE Circle))		 Merge.kif 7687-7689


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