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.") Mid-level-ontology.kif 25578-25578
(domain shape 1 Physical) Mid-level-ontology.kif 25576-25576 The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 25577-25577 The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate) Mid-level-ontology.kif 25574-25574 shape is an instance of binary predicate
(subrelation shape property) Mid-level-ontology.kif 25575-25575 shape is a subrelation of property

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 cell shape is a subrelation of shape
(termFormat EnglishLanguage shape "shape") domainEnglishFormat.kif 65933-65933

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


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 25580-25585
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2811-2813
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2782-2784
(=>
    (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 ?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 25633-25635
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))
ComputerInput.kif 160-162
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 25602-25604
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))
Mid-level-ontology.kif 25594-25596
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 25614-25616


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