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 養牛和養殖industry 產品類別
No TPTP formula. May not be expressible in strict first order. naics.kif 340-340 子屬性 養牛和養殖 and 動物生產

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


No TPTP formula. May not be expressible in strict first order. naics.kif 346-346 子屬性 肉牛牧場和農業包括飼養場 and 養牛和養殖
No TPTP formula. May not be expressible in strict first order. naics.kif 366-366 子屬性 奶牛和牛奶生產 and 養牛和養殖
No TPTP formula. May not be expressible in strict first order. naics.kif 372-372 子屬性 兩用牛牧場和農業 and 養牛和養殖
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