![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Manifold
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Manifold EngineeringComponent) | Mid-level-ontology.kif 2350-2350 | Manifold is a subclass of engineering component |
| (documentation Manifold EnglishLanguage "A pipe which has several outlets for other pipes that flow into or out of it.") | Mid-level-ontology.kif 2351-2352 | Manifold is a subclass of engineering component |
| (externalImage Manifold "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ Vacuum_gas_manifold.svg") | pictureList.kif 4773-4773 | Manifold is a subclass of engineering component |
| appearance as argument number 2 |
|
|