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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SheepAndGoatFarming

 Sigma KEE - SheepAndGoatFarming
SheepAndGoatFarming

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


No TPTP formula. May not be expressible in strict first order. naics.kif 424-426
No TPTP formula. May not be expressible in strict first order. naics.kif 422-422 SheepAndGoatFarming e' um sub-atributo de AnimalProduction

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


No TPTP formula. May not be expressible in strict first order. naics.kif 434-434 GoatFarming e' um sub-atributo de SheepAndGoatFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 428-428 SheepFarming e' um sub-atributo de SheepAndGoatFarming
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52469-52469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52468-52468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52467-52467


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