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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForestryAndLogging

Sigma KEE - ForestryAndLogging
ForestryAndLogging

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 501-503
No TPTP formula. May not be expressible in strict first order. Economy.kif 1779-1779 industryProductType ForestryAndLogging and Timber
No TPTP formula. May not be expressible in strict first order. naics.kif 499-499 ForestryAndLogging est un sous-attribut de AgricultureForestryFishingAndHunting
No TPTP formula. May not be expressible in strict first order. Economy.kif 1774-1774 ForestryAndLogging est un sous-attribut de LumberIndustry

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


No TPTP formula. May not be expressible in strict first order. naics.kif 511-511 ForestNurseriesAndGatheringOfForestProducts est un sous-attribut de ForestryAndLogging
No TPTP formula. May not be expressible in strict first order. naics.kif 517-517 Logging est un sous-attribut de ForestryAndLogging
No TPTP formula. May not be expressible in strict first order. naics.kif 505-505 TimberTractOperations est un sous-attribut de ForestryAndLogging
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24710-24710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24709-24709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24708-24708


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