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 23504-23504
(domain shape 1 Physical) Mid-level-ontology.kif 23502-23502 The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 23503-23503 The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate) Mid-level-ontology.kif 23500-23500 shape is an instance of binary predicate
(subrelation shape property) Mid-level-ontology.kif 23501-23501 shape is a subrelation of property

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


(format ChineseLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4511-4511
(format ChineseTraditionalLanguage shape "%1 是 %2 ") domainEnglishFormat.kif 4510-4510
(format EnglishLanguage shape "%1 is %2") domainEnglishFormat.kif 4509-4509

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


(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 23509-23514
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2784-2786
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2755-2757
(=>
    (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 23563-23565
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))
ComputerInput.kif 182-184
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 23531-23533
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))
Mid-level-ontology.kif 23523-23525
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 23543-23545


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners