| 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 | |
| (domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 23491-23491 | |
| (instance shape BinaryPredicate) | Mid-level-ontology.kif 23488-23488 | |
| (subrelation shape property) | Mid-level-ontology.kif 23489-23489 |
| 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 2784-2786 | |
| (=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2755-2757 | |
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 606-608 | |
| (=> (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 ?SHAPE 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