Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FitbitCompany
|
|
|
| appearance as argument number 1 |
|
|
| (instance FitbitCompany Corporation) | Medicine.kif 4486-4486 | Fitbit is an instance of corporation |
| (documentation FitbitCompany EnglishLanguage "Fitbit is an American consumer electronics and fitness company. It produces wireless-enabled wearable technology physical fitness monitors and activity trackers such as smartwatches, pedometers and monitors for heart rate, quality of sleep, and stairs climbed as well as related software. It was acquired by Google in 2021.") | Medicine.kif 4487-4492 | Fitbit is an instance of corporation |
| (subOrganization FitbitCompany Google) | Medicine.kif 4493-4493 | Fitbit is a part of the organization Google |
| appearance as argument number 2 |
|
|
| (manufacturer FitbitDevice FitbitCompany) | Medicine.kif 4484-4484 | The maker of Fitbit is Fitbit |
| (termFormat EnglishLanguage FitbitCompany "Fitbit") | Medicine.kif 4494-4494 | The maker of Fitbit is Fitbit |
|