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 25062-25062
(domain shape 1 Physical) Mid-level-ontology.kif 25060-25060
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 25061-25061
(instance shape BinaryPredicate) Mid-level-ontology.kif 25058-25058
(subrelation shape property) Mid-level-ontology.kif 25059-25059

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
(subrelation cellShape shape) VirusProteinAndCellPart.kif 352-352

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


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 25064-25069
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2779-2781
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2750-2752
(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))
ComputerInput.kif 661-663
(=>
    (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 25117-25119
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))
ComputerInput.kif 160-162
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 25086-25088
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))
Mid-level-ontology.kif 25078-25080
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 25098-25100


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