|
|
  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 27247-27247 | |
| (instance DiskShaped ShapeAttribute) | Mid-level-ontology.kif 27246-27246 | DiskShaped est une instance de attribut de forme |
| (subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27248-27248 | DiskShaped est un sous-attribut de Circle |
| (subAttribute DiskShaped Flat) | Mid-level-ontology.kif 27249-27249 | DiskShaped est un sous-attribut de Flat |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DiskShaped "disk shaped") | domainEnglishFormat.kif 64766-64766 |
| consequent |
|
|
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 661-663 |
|
|
|
|