Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MechanicalDie(die) |  | die |
| appearance as argument number 1 |
|
|
| (subclass MechanicalDie Device) | Cars.kif 4122-4122 | Die is a subclass of device |
| (documentation MechanicalDie EnglishLanguage "A Device for creating a MechanicalNut out of a Rod.") | Cars.kif 4124-4124 | Die is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MechanicalDie "die") | Cars.kif 4123-4123 |
| antecedent |
|
|
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4126-4134 | If X is an instance of die, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is an instance of nut, X is an instrument for Y, and Z is a result of Y |
|