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 21791-21791
(domain shape 1 Physical) Mid-level-ontology.kif 21789-21789
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 21790-21790
(instance shape BinaryPredicate) Mid-level-ontology.kif 21787-21787
(subrelation shape property) Mid-level-ontology.kif 21788-21788

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


(format ChineseLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4515-4515
(format ChineseTraditionalLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4514-4514
(format EnglishLanguage shape "%1 is %2") domainEnglishFormat.kif 4513-4513

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


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 21793-21798
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2770-2772
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2741-2743
(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))
ComputerInput.kif 689-691
(=>
    (instance ?OBJ Blackboard)
    (shape ?OBJ Flat))
Media.kif 1093-1095
(=>
    (instance ?OBJ OpticalDisc)
    (shape ?OBJ Flat))
Media.kif 1139-1141
(=>
    (instance ?OBJ PrintedSheet)
    (shape ?OBJ Flat))
Media.kif 1073-1075
(=>
    (instance ?OBJ Whiteboard)
    (shape ?OBJ Flat))
Mid-level-ontology.kif 21846-21848
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))
ComputerInput.kif 182-184
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 21815-21817
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))
Mid-level-ontology.kif 21807-21809
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 21827-21829


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