![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Mesa
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Antenna CommunicationDevice) | Mid-level-ontology.kif 17438-17438 | Antenna is a subclass of communication device |
| (documentation Antenna EnglishLanguage "A CommunicationDevice which enables or improves the reception of RadioEmissions by another CommunicationDevice (the radio or television receiver).") | Mid-level-ontology.kif 17439-17441 | Antenna is a subclass of communication device |
| (externalImage Antenna "http://articulatesoftware.com/SUMOpictures/telephone/ antenna.png") | pictureList.kif 228-228 | Antenna is a subclass of communication device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ANTENNA Antenna) (capability RadioEmission instrument ?ANTENNA)) |
Mid-level-ontology.kif 17443-17445 | If X is an instance of antenna, then X is capable of doing radio emission as a instrument |