| appearance as argument number 1 |
|
| (documentation DiskShaped EnglishLanguage "The attribute of being circular in one dimension and flat in the other.") | Mid-level-ontology.kif 27233-27233 | |
| (instance DiskShaped ShapeAttribute) | Mid-level-ontology.kif 27232-27232 | Disk shaped is an instance of shape attribute |
| (subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27234-27234 | Disk shaped is a subattribute of circle |
| (subAttribute DiskShaped Flat) | Mid-level-ontology.kif 27235-27235 | Disk shaped is a subattribute of flat |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DiskShaped "disk shaped") | domainEnglishFormat.kif 64765-64765 |
| consequent |
|
|
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 661-663 |
|
|
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