TreeView Knowledge Base Browser - shape

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 25510-25510
(domain shape 1 Physical)	Mid-level-ontology.kif 25508-25508	The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute)	Mid-level-ontology.kif 25509-25509	The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate)	Mid-level-ontology.kif 25506-25506	shape is an instance of binary predicate
(subrelation shape property)	Mid-level-ontology.kif 25507-25507	shape is a subrelation of property

appearance as argument number 2

(format ChineseLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4506-4506
(format ChineseTraditionalLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4505-4505
(format EnglishLanguage shape "%1 is %2")	domainEnglishFormat.kif 4504-4504
(subrelation cellShape shape)	VirusProteinAndCellPart.kif 403-403	cell shape is a subrelation of shape
(termFormat EnglishLanguage shape "shape")	domainEnglishFormat.kif 65945-65945

consequent

(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Mid-level-ontology.kif 25512-25517	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 2811-2813	If female is an attribute of an object, then the object is concave
(=> (attribute ?M MaleConnector) (shape ?M Convex))	ComputingBrands.kif 2782-2784	If 公 is an attribute of an object, then the object is convex
(=> (instance ?C ContainerChest) (shape ?C Rectangle))	Mid-level-ontology.kif 3968-3970	If a physical is an instance of chest container, then the physical is rectangle
(=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped))	ComputerInput.kif 661-663	If a physical is an instance of computer disk, then the physical is disk shaped
(=> (instance ?F Football) (shape ?F ConvexRoundShape))	Sports.kif 340-342	If a physical is an instance of foot ball, then the physical is convex round shape
(=> (instance ?OBJ Blackboard) (shape ?OBJ Flat))	Media.kif 1089-1091	If a physical is an instance of blackboard, then the physical is flat
(=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat))	Media.kif 1135-1137	If a physical is an instance of optical disc, then the physical is flat
(=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat))	Media.kif 1069-1071	If a physical is an instance of printed sheet, then the physical is flat
(=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat))	Mid-level-ontology.kif 25565-25567	If a physical is an instance of whiteboard, then the physical is flat
(=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle))	ComputerInput.kif 160-162	If a physical is an instance of computer screen, then the physical is rectangle
(=> (instance ?SHAPE Circle) (shape ?SHAPE Circular))	Mid-level-ontology.kif 25534-25536	If a physical is an instance of circle, then the physical is circular
(=> (instance ?SHAPE Oval) (shape ?SHAPE Elliptical))	Mid-level-ontology.kif 25526-25528	If a physical is an instance of oval, then the physical is Elliptical
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere))	Mid-level-ontology.kif 25546-25548	If a physical is an instance of spherical object, then the physical is sphere

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