TreeView Knowledge Base Browser - SteelIndustry

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SteelIndustry

SteelIndustry

appearance as argument number 1

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

Economy.kif 1865-1865

SteelIndustry est une instance de IndustryAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1867-1867	SteelForging est un sous-attribut de SteelIndustry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1868-1868	SteelFoundriesExceptInvestment est un sous-attribut de SteelIndustry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1869-1869	SteelInvestmentFoundries est un sous-attribut de SteelIndustry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1866-1866	SteelMills est un sous-attribut de SteelIndustry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1870-1870	SteelProductManufacturingFromPurchasedSteel est un sous-attribut de SteelIndustry
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55248-55248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55247-55247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55246-55246

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