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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CattleRanchingAndFarming

Sigma KEE - CattleRanchingAndFarming
CattleRanchingAndFarming

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


No TPTP formula. May not be expressible in strict first order. naics.kif 342-344
No TPTP formula. May not be expressible in strict first order. Economy.kif 6203-6203 industryProductType CattleRanchingAndFarming and Cattle
No TPTP formula. May not be expressible in strict first order. naics.kif 340-340 CattleRanchingAndFarming e' um sub-atributo de AnimalProduction

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


No TPTP formula. May not be expressible in strict first order. naics.kif 346-346 BeefCattleRanchingAndFarmingIncludingFeedlots e' um sub-atributo de CattleRanchingAndFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 366-366 DairyCattleAndMilkProduction e' um sub-atributo de CattleRanchingAndFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 372-372 DualPurposeCattleRanchingAndFarming e' um sub-atributo de CattleRanchingAndFarming
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13488-13488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13487-13487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13486-13486


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