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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndustryAttribute
IndustryAttribute(行业属性)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 23-25
No TPTP formula. May not be expressible in strict first order. naics.kif 21-21 行业属性关联属性subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11553-11553 住宿和餐饮服务行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 10298-10298 行政和支持以及废物管理和补救服务行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1142-1142 农业部门行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 44-44 农业林业捕鱼和狩猎行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 7947-7947 航空运输业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 2188-2188 服装制造业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 11264-11264 艺术娱乐和游艺行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6171-6171 大麦种植行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 1824-1824 饮料和烟草制品制造业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 7235-7235 建筑材料和园艺设备及用品经销商行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6154-6154 谷物种植行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 3119-3119 化学制造业行业属性instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30992-30992 CivilProductAttribute行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 7500-7500 服装和服饰配件商店行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1713-1713 煤炭工业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 5120-5120 计算机和电子产品制造业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 1074-1074 施工行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1721-1721 消费品行业行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1724-1724 铜工业行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 8729-8729 信使和信使行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 10727-10727 教育服务行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 5414-5414 电气设备器具和元件制造行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 7179-7179 电子和电器商店行业属性instance
No TPTP formula. May not be expressible in strict first order. naics.kif 4219-4219 金属制品制造行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1737-1737 化肥行业行业属性instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1579-1579 区域产业 的 2 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1600-1600 行业产品类型 的 1 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1587-1587 按输出排名行业 的 2 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1642-1642 行业服务类型 的 1 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1074-1074 行业组成的GDP 的 2 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1057-1057 期间GDP的部门构成 的 2 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1120-1120 GDP的行业价值 的 2 数量 是 行业属性instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1096-1096 期间GDP的部门价值 的 2 数量 是 行业属性instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Economy.kif 1673-1679
No TPTP formula. May not be expressible in strict first order. Media.kif 1882-1886


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



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