Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subAttribute

 Sigma KEE - subAttribute
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners