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 23492-23492
(domain shape 1 Physical) Mid-level-ontology.kif 23490-23490 shape の数値 1 引数は 物理instance では %n
(domain shape 2 ShapeAttribute) Mid-level-ontology.kif 23491-23491 shape の数値 2 引数は 形状属性instance では %n
(instance shape BinaryPredicate) Mid-level-ontology.kif 23488-23488 shape2進述語instance では %n
(subrelation shape property) Mid-level-ontology.kif 23489-23489 shapepropertysubrelation では %n

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 23497-23502
(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2625-2627
(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2596-2598
(=>
    (instance ?DISK ComputerDisk)
    (shape ?DISK DiskShaped))
ComputerInput.kif 514-516
(=>
    (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 23551-23553
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangule))
ComputerInput.kif 159-161
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 23519-23521
(=>
    (instance ?SHAPE Oval)
    (shape ?SHAPE Elliptical))
Mid-level-ontology.kif 23511-23513
(=>
    (instance ?SPHERE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 23531-23533


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