Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SnapOnTools(Snap_on Tools) |
| appearance as argument number 1 |
|
| (instance SnapOnTools Corporation) | Cars.kif 4357-4357 | Snap_on Tools is an instance of corporation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SnapOnTools "Snap_on Tools") | Cars.kif 4358-4358 | |
| (manufacturer SnapOnRatchet SnapOnTools) | Cars.kif 4856-4856 | The maker of Snap_On ratchet is Snap_on Tools |
|