Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
industryProductType
Sigma KEE - industryProductType
industryProductType
appearance as argument number 1
(
documentation
industryProductType
EnglishLanguage
"(
industryProductType
?INDUSTRY ?TYPE) means that organizations with the
IndustryAttribute
?INDUSTRY produce products of the kind ?TYPE.")
Economy.kif 1603-1605
(
domain
industryProductType
1
IndustryAttribute
)
Economy.kif 1600-1600
域
行業產品類型
, 1 and
行業屬性
(
domainSubclass
industryProductType
2
Object
)
Economy.kif 1601-1601
域子類
行業產品類型
, 2 and
Object
(
instance
industryProductType
BinaryPredicate
)
Economy.kif 1599-1599
例
行業產品類型
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
industryProductType
"%2 %n 是 %1 的 industry 产品类别")
domainEnglishFormat.kif 1321-1321
(
format
ChineseTraditionalLanguage
industryProductType
"%2 %n 是 %1 的 industry 產品類別")
domainEnglishFormat.kif 1320-1320
(
format
EnglishLanguage
industryProductType
"%2 is %n an industry product type of %1")
domainEnglishFormat.kif 1319-1319
(
termFormat
ChineseLanguage
industryProductType
"行业产品类型")
domainEnglishFormat.kif 29917-29917
(
termFormat
ChineseTraditionalLanguage
industryProductType
"行業產品類型")
domainEnglishFormat.kif 29916-29916
(
termFormat
EnglishLanguage
industryProductType
"industry product type")
domainEnglishFormat.kif 29915-29915
antecedent
(=>
(
and
(
industryProductType
?INDUSTRY ?TYPE)
(
instance
?INDUSTRY
IndustryAttribute
)
(
instance
?BUSINESS
Organization
)
(
attribute
?BUSINESS ?INDUSTRY))
(
organizationProductType
?BUSINESS ?TYPE))
Economy.kif 1633-1639
Object
是
行業屬性
的
industry
產品類別
例
行業屬性
and
行業屬性
例
Organization
and
Organization
attribute
Organization
and
行業屬性
Object
是
Organization
的
organization
產品類別
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
例
AutonomousAgent
and
Organization
attribute
AutonomousAgent
and
行業屬性
Object
是
行業屬性
的
industry
產品類別
Process
Entity
例
Process
and
Making
例
Entity
and
Object
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
appearance as argument number 0
(
industryProductType
AircraftManufacturing
Aircraft
)
Economy.kif 1698-1698
飛機
是
飛機製造業
的
industry
產品類別
(
industryProductType
AluminaRefining
Alumina
)
Economy.kif 1701-1701
礬土
是
氧化鋁精煉
的
industry
產品類別
(
industryProductType
AsphaltPavingRoofingAndSaturatedMaterialsManufacturing
Asphalt
)
Economy.kif 1846-1846
瀝青
是
瀝青鋪設屋面和飽和材料製造
的
industry
產品類別
(
industryProductType
AutomobileManufacturing
Automobile
)
Economy.kif 1705-1705
汽車
是
汽車製造業
的
industry
產品類別
(
industryProductType
BarleyFarming
BarleyGrain
)
Economy.kif 6174-6174
大麥籽粒
是
大麥種植
的
industry
產品類別
(
industryProductType
CattleRanchingAndFarming
Cattle
)
Economy.kif 6203-6203
牛
是
養牛和養殖
的
industry
產品類別
(
industryProductType
CementManufacturing
Cement
)
Economy.kif 1708-1708
水泥
是
水泥製造業
的
industry
產品類別
(
industryProductType
CerealGrainFarming
CerealGrain
)
Economy.kif 6156-6156
穀物
是
穀物種植
的
industry
產品類別
(
industryProductType
CoalMining
Coal
)
Economy.kif 1716-1716
煤
是
採煤
的
industry
產品類別
(
industryProductType
ConcretePipeBrickAndBlockManufacturing
Concrete
)
Economy.kif 5896-5896
具體
是
混凝土管磚和砌塊製造
的
industry
產品類別
(
industryProductType
CopperOreMining
CopperOre
)
Economy.kif 1729-1729
銅礦
是
銅礦開採
的
industry
產品類別
(
industryProductType
CornFarming
MaizeGrain
)
Economy.kif 6162-6162
玉米粒
是
玉米種植
的
industry
產品類別
(
industryProductType
CottonFarming
Cotton
)
Economy.kif 6209-6209
棉
是
棉花種植
的
industry
產品類別
(
industryProductType
CrudePetroleumExtraction
Petroleum
)
Economy.kif 1843-1843
石油
是
原油開採
的
industry
產品類別
(
industryProductType
ElectricalPowerGeneration
Electricity
)
Economy.kif 5725-5725
電力
是
發電
的
industry
產品類別
(
industryProductType
FabricMills
Fabric
)
Economy.kif 1886-1886
Fabric
是
織物廠
的
industry
產品類別
(
industryProductType
FertilizerMineralMining
Fertilizer
)
Economy.kif 1741-1741
肥料
是
化肥礦產開採
的
industry
產品類別
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
Food
for
Animal
是
食品製造業
的
industry
產品類別
(
industryProductType
FootwearManufacturing
Shoe
)
Economy.kif 1749-1749
鞋
是
鞋類製造業
的
industry
產品類別
(
industryProductType
ForestryAndLogging
Timber
)
Economy.kif 1779-1779
原木材
是
林業和伐木業
的
industry
產品類別
(
industryProductType
FruitFarming
Fruit
)
Economy.kif 6193-6193
水果
是
水果種植
的
industry
產品類別
(
industryProductType
FurnitureManufacturing
Furniture
)
Economy.kif 1756-1756
家具
是
家具製造業
的
industry
產品類別
(
industryProductType
GoatFarming
Goat
)
Economy.kif 6205-6205
山羊
是
山羊養殖
的
industry
產品類別
(
industryProductType
HogAndPigFarming
Pork
)
Economy.kif 6206-6206
豬肉
是
生豬和養豬
的
industry
產品類別
(
industryProductType
IndustrialSandMining
Sand
)
Economy.kif 1805-1805
砂
是
工業採砂
的
industry
產品類別
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