shape - Sigma Knowledge base Browser

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 23529-23529
(domain shape 1 Physical)	Mid-level-ontology.kif 23527-23527	The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute)	Mid-level-ontology.kif 23528-23528	The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate)	Mid-level-ontology.kif 23525-23525	shape is an instance of binary predicate
(subrelation shape property)	Mid-level-ontology.kif 23526-23526	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 23534-23539	If a physical the attribute a shape attribute and the physical is an instance of physical and the shape attribute is an instance of shape attribute, then the physical is the shape attribute
(=> (attribute ?M FemaleConnector) (shape ?M Concave))	ComputingBrands.kif 2782-2784	If female is an attribute of an object, then the object is concave
(=> (attribute ?M MaleConnector) (shape ?M Convex))	ComputingBrands.kif 2753-2755	If 公 is an attribute of an object, then the object is convex
(=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped))	ComputerInput.kif 689-691	If a physical is an instance of ComputerDisk, then the physical is DiskShaped
(=> (instance ?OBJ Blackboard) (shape ?OBJ Flat))	Media.kif 1093-1095	If a physical is an instance of Blackboard, then the physical is flat
(=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat))	Media.kif 1139-1141	If a physical is an instance of OpticalDisc, then the physical is flat
(=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat))	Media.kif 1073-1075	If a physical is an instance of PrintedSheet, then the physical is flat
(=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat))	Mid-level-ontology.kif 23588-23590	If a physical is an instance of whiteboard, then the physical is flat
(=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle))	ComputerInput.kif 182-184	If a physical is an instance of ComputerScreen, then the physical is rectangle
(=> (instance ?SHAPE Circle) (shape ?SHAPE Circular))	Mid-level-ontology.kif 23556-23558	If a physical is an instance of circle, then the physical is Circular
(=> (instance ?SHAPE Oval) (shape ?SHAPE Elliptical))	Mid-level-ontology.kif 23548-23550	If a physical is an instance of oval, then the physical is Elliptical
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere))	Mid-level-ontology.kif 23568-23570	If a physical is an instance of SphericalObject, then the physical is sphere

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