No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4457-4457 | FitbitDevice 是 可穿戴物品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | FitbitDevice 是 测量工具 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | FitbitDevice 是 电器 的 subclass |