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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HayFarming

 Sigma KEE - HayFarming
HayFarming(干草养殖)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 304-306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8517-8517
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9283-9283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9284-9284
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9285-9285
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9286-9286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9287-9287
No TPTP formula. May not be expressible in strict first order. naics.kif 302-302 干草养殖 是 其他农作物种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27648-27648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27647-27647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27646-27646


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