subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | AccountAttribute 是 属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4535-4535 | AccountCreationRejected 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2926-2926 | AccountID 是 VirtualPlaceID 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | AccountNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | AccountSecurityType 是 关联属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1008-1008 | 审核 是 声明 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3501-3501 | Acetaminophen 是 NSAID 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4305-4305 | AcetylLCarnitine 是 Carnitine 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23417-23417 | 实现控制 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2493-2493 | 酸雨 是 下雨 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2472-2472 | 酸化 是 结合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9868-9868 | AcidityMeasure 是 测量单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | 获得性免疫缺陷综合症 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | AcromialArtery 是 动脉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 513-513 | 跨变量累加器 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 524-524 | 跨变量来源 是 资源 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28807-28807 | 锕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4477 | ActivatingADeactivatedAccount 是 DataEntry 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2262-2262 | ActivatingUIElement 是 UserSignifiedAction 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | 活性同步 是 电脑协定 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21137-21137 | 精算科学 是 科学 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4863-4863 | 锐角 是 二维角度 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3605-3605 | Adalimumab 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1303-1303 | AddToCart 是 过程 的 subclass |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |