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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1603-1605
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1600-1600
The number 1 argument of
industry product type
is an
instance
of
industry attribute
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1601-1601
The number 2 argument of
industry product type
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1599-1599
industry product type
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1321-1321
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1320-1320
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1319-1319
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 29917-29917
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 29916-29916
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 29915-29915
antecedent
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1633-1639
If
a kind of object
is an
industry
product type of
an industry attribute
and
the industry attribute
is an
instance
of
industry attribute
and
an organization
is an
instance
of
organization
and
the industry attribute
is an
attribute
of
the organization
,
then
a kind of object
is an
organization
product type of
the organization
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1607-1617
If
an agent
is an
instance
of
organization
and
an industry attribute
is an
attribute
of
the agent
and
a kind of object
is an
industry
product type of
the industry attribute
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
making
and
the entity
is an
instance
of
a kind of object
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1698-1698
Aircraft
is an
industry
product type of
aircraft manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1701-1701
Alumina
is an
industry
product type of
alumina refining
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1846-1846
Asphalt
is an
industry
product type of
asphalt paving roofing and saturated materials manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1705-1705
Automobile
is an
industry
product type of
automobile manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6174-6174
Barley grain
is an
industry
product type of
barley farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6203-6203
Cattle
is an
industry
product type of
cattle ranching and farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1708-1708
Cement
is an
industry
product type of
cement manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6156-6156
Cereal grain
is an
industry
product type of
cereal grain farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1716-1716
Coal
is an
industry
product type of
coal mining
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5896-5896
Concrete
is an
industry
product type of
concrete pipe brick and block manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1729-1729
Copper ore
is an
industry
product type of
copper ore mining
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6162-6162
Maize grain
is an
industry
product type of
corn farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6209-6209
Cotton
is an
industry
product type of
cotton farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1843-1843
Petroleum
is an
industry
product type of
crude petroleum extraction
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5725-5725
Electricity
is an
industry
product type of
electrical power generation
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1886-1886
Fabric
is an
industry
product type of
fabric mills
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1741-1741
Fertilizer
is an
industry
product type of
fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1744-1744
Food
for
animal
is an
industry
product type of
food manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1749-1749
Shoe
is an
industry
product type of
footwear manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1779-1779
Timber
is an
industry
product type of
forestry and logging
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6193-6193
Fruit
is an
industry
product type of
fruit farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1756-1756
Furniture
is an
industry
product type of
furniture manufacturing
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6205-6205
Goat
is an
industry
product type of
goat farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 6206-6206
Pork
is an
industry
product type of
hog and pig farming
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1805-1805
Sand
is an
industry
product type of
industrial sand mining
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