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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DownloadingRequest

 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 e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1867-1867 SteelForging e' um sub-atributo de SteelIndustry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1868-1868 SteelFoundriesExceptInvestment e' um sub-atributo de SteelIndustry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1869-1869 SteelInvestmentFoundries e' um sub-atributo de SteelIndustry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1866-1866 SteelMills e' um sub-atributo de SteelIndustry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1870-1870 SteelProductManufacturingFromPurchasedSteel e' um sub-atributo de SteelIndustry
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55250-55250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55249-55249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55248-55248


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