subAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | 子属性 和 后续属性 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1534-1535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 686-687 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 100-101 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 117-118 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | 子属性 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 683-683 | 子属性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 680-680 | 子属性 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | 子属性 是 偏序关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 181-181 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 270-270 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2001-2001 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 133-133 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 416-416 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 307-307 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 201-201 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 191-191 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 462-462 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 318-318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55691-55691 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55690-55690 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 352-357 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4621-4629 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 696-700 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 689-694 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4557-4563 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4565-4571 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4408-4410 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2899-2899 | AON 订单 是 金融秩序 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3894-3894 | 磨料产品制造 是 其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1524-1524 | AbruzzeseCuisine 是 ItalianCuisine 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 327-327 | 绝对君主制 是 威权政权 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 240-240 | 绝对君主制 是 帝制 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11559-11559 | 住所 是 住宿和餐饮服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9900-9900 | 会计税务准备簿记和工资单服务 是 专业的科技服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4440-4440 | 代理总领事 是 总领事 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | 与信贷中介有关的活动 是 信贷中介及相关活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9647-9647 | 与房地产有关的活动 是 RealEstateIndustry 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18808-18808 | Actor 是 Performer 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 353-353 | 精算师 是 Scientist 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6030-6030 | AcuteBronchitis 是 Bronchitis 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3387-3387 | 胶粘剂制造 是 油漆涂料和胶粘剂制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12355-12355 | 管理空气和水资源以及固体废物管理计划 是 管理环境品质计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | 管理保护计划 是 管理环境品质计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12395-12395 | 管理经济计划 是 公共行政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12317-12317 | 管理教育计划 是 管理人力资源计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12348-12348 | 管理环境品质计划 是 公共行政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12401-12401 | 一般经济计划的管理 是 管理经济计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12379-12379 | 住房计划管理 是 住房计划管理城市规划和社区发展 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12371-12371 | 住房计划管理城市规划和社区发展 是 公共行政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12311-12311 | 管理人力资源计划 是 公共行政 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12331-12331 | 除教育公共卫生和退伍军人事务计划外的人力资源计划管理 是 管理人力资源计划 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12324-12324 | 管理公共卫生计划 是 管理人力资源计划 的 subAttribute |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |