Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   View
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Envelope Container) | Mid-level-ontology.kif 5265-5265 | Envelope is a subclass of container |
| (documentation Envelope EnglishLanguage "A sealable Container for one or more pieces of paper which is designed to protect the papers while they are transferred to someone.") | Mid-level-ontology.kif 5266-5268 | Envelope is a subclass of container |
| (externalImage Envelope "http://articulatesoftware.com/SUMOpictures/office/ supplies/ envelope_01.png") | pictureList.kif 412-412 | Envelope is a subclass of container |
| appearance as argument number 2 |
|
|
|
