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.") Mid-level-ontology.kif 23535-23535
(domain shape 1 Physical) Mid-level-ontology.kif 23533-23533 domain shape, 1 and Physical
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 23534-23534 domain shape, 2 and ShapeAttribute
(instance shape BinaryPredicate) Mid-level-ontology.kif 23531-23531 instance shape and BinaryPredicate
(subrelation shape property) Mid-level-ontology.kif 23532-23532 subrelation shape and property

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 23540-23545
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))		 ComputingBrands.kif 2782-2784
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))		 ComputingBrands.kif 2753-2755
(=>
    (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 23594-23596
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))		 ComputerInput.kif 182-184
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))		 Mid-level-ontology.kif 23562-23564
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))		 Mid-level-ontology.kif 23554-23556
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 23574-23576


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