Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Container
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Rod Device) | Cars.kif 3985-3985 | Rod is a subclass of device |
| (documentation Rod EnglishLanguage "Any LongAndThin object that has some structural function in another Device.") | Cars.kif 3987-3988 | Rod is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Rod "rod") | Cars.kif 3986-3986 | |
| (subclass TieRod Rod) | Cars.kif 4000-4000 | Tie rod is a subclass of rod |
| antecedent |
|
|
| (=> (instance ?R Rod) (hasPurpose ?R (exists (?D) (connectedEngineeringComponents ?R ?D)))) |
Cars.kif 3990-3994 | If X is an instance of rod, then X has the purpose there exists Y such that X is connected to Y |
| (=> (instance ?R Rod) (attribute ?R LongAndThin)) |
Cars.kif 3996-3998 | If X is an instance of rod, then long and thin is an attribute of X |
|