Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cantilever(cantilever) |
| appearance as argument number 1 |
|
| (instance Cantilever StructureAttribute) | engineering.kif 1011-1011 | Cantilever is an instance of structure attribute |
| (documentation Cantilever EnglishLanguage "A Cantilever is a StructureAttribute that describes a Artifact that extends horizontally and is supported at only one end. [Wikipedia] For example, a CantilverObject.") | engineering.kif 1012-1014 | Cantilever is an instance of structure attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cantilever "cantilever") | domainEnglishFormat.kif 65796-65796 |
| consequent |
|
|
| (=> (instance ?OBJ CantileverObject) (attribute ?OBJ Cantilever)) |
engineering.kif 1016-1018 | If X is an instance of cantilever object, then cantilever is an attribute of X |
|