Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  lowAltitudeWindVelocity
|
|
|
| appearance as argument number 1 |
|
|
| (instance DiskShaped ShapeAttribute) | Mid-level-ontology.kif 27885-27885 | Disk shaped is an instance of shape attribute |
| (documentation DiskShaped EnglishLanguage "The attribute of being circular in one dimension and flat in the other.") | Mid-level-ontology.kif 27886-27886 | Disk shaped is an instance of shape attribute |
| (subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27887-27887 | Disk shaped is a subattribute of circle |
| (subAttribute DiskShaped Flat) | Mid-level-ontology.kif 27888-27888 | Disk shaped is a subattribute of flat |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DiskShaped "disk shaped") | domainEnglishFormat.kif 64775-64775 |
| consequent |
|
|
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 677-679 | If X is an instance of computer disk, then X is disk shaped |
|