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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndustryAttribute

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 子類 行業屬性 and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11553-11553 住宿和餐飲服務 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 10298-10298 行政和支持以及廢物管理和補救服務 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1142-1142 農業部門 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 44-44 農業林業捕魚和狩獵 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 7947-7947 航空運輸業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 2188-2188 服裝製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 11264-11264 藝術娛樂和遊藝 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 6171-6171 大麥種植 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 1824-1824 飲料和煙草製品製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 7235-7235 建築材料和園藝設備及用品經銷商 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 6154-6154 穀物種植 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 3119-3119 化學製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30992-30992 CivilProductAttribute and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 7500-7500 服裝和服飾配件商店 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1713-1713 煤炭工業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 5120-5120 計算機和電子產品製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 1074-1074 施工 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1721-1721 消費品行業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1724-1724 銅工業 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 8729-8729 信使和信使 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 10727-10727 教育服務 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 5414-5414 電氣設備器具和元件製造 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 7179-7179 電子和電器商店 and 行業屬性
No TPTP formula. May not be expressible in strict first order. naics.kif 4219-4219 金屬製品製造 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1737-1737 化肥行業 and 行業屬性

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 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1600-1600 行業產品類型, 1 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1587-1587 按輸出排名行業, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1642-1642 行業服務類型, 1 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1074-1074 行業組成的GDP, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1057-1057 期間GDP的部門構成, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1120-1120 GDP的行業價值, 2 and 行業屬性
No TPTP formula. May not be expressible in strict first order. Economy.kif 1096-1096 期間GDP的部門價值, 2 and 行業屬性

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 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