Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WireSpring
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WireSpring Wire) | Mid-level-ontology.kif 4262-4262 | Wire spring is a subclass of wire |
| (subclass WireSpring EngineeringComponent) | Mid-level-ontology.kif 4263-4263 | Wire spring is a subclass of engineering component |
| (documentation WireSpring EnglishLanguage "An EngineeringComponent consisting of a coil of Wire that returns to its original shape when pulled apart or pressed together.") | Mid-level-ontology.kif 4264-4265 | Wire spring is a subclass of engineering component |
| (subclass WireSpring Spring) | Cars.kif 660-660 | Wire spring is a subclass of spring |
| (externalImage WireSpring "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Springs_009.jpg") | pictureList.kif 4854-4854 | Wire spring is a subclass of spring |
| appearance as argument number 2 |
|
|
|
