TreeView Knowledge Base Browser - industryOfArea

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - industryOfArea

industryOfArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1581-1583
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1578-1578	The number 1 argument of industry of area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1579-1579	The number 2 argument of industry of area is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1577-1577	industry of area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1317-1317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1316-1316
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1315-1315
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29911-29911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29910-29910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29909-29909

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1595-1597

If a geopolitical area industry rank by output an industry attribute for a positive integer,
then the industry attribute is an industry of area of the geopolitical area

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