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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SheepFarming

 Sigma KEE - SheepFarming
SheepFarming(sheep farming)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 430-432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8702-8702
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9644-9644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9645-9645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9646-9646
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9647-9647
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9648-9648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9649-9649
No TPTP formula. May not be expressible in strict first order. Economy.kif 6204-6204 Sheep is an industry product type of sheep farming
No TPTP formula. May not be expressible in strict first order. naics.kif 428-428 Sheep farming is a subattribute of sheep and goat farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52473-52473
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52472-52472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52471-52471


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