|
|
  DiskShaped
|
|
|
| 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 23561-23561 | |
| (instance DiskShaped ShapeAttribute) | Mid-level-ontology.kif 23560-23560 | instance DiskShaped and ShapeAttribute |
| (subAttribute DiskShaped Circular) | Mid-level-ontology.kif 23562-23562 | subAttribute DiskShaped and Circular |
| (subAttribute DiskShaped Flat) | Mid-level-ontology.kif 23563-23563 | subAttribute DiskShaped and Flat |
| consequent |
|
|
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 689-691 |
|
|
|
|