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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAquaculture
AnimalAquaculture(动物水产养殖)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 442-444
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8338-8338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8876-8876
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8880-8880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8878-8878
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8881-8881
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8875-8875
No TPTP formula. May not be expressible in strict first order. naics.kif 440-440 动物水产养殖动物生产subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 446-446 有鳍鱼养殖和鱼类孵化场动物水产养殖subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 459-459 其他动物水产养殖动物水产养殖subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 453-453 贝类养殖动物水产养殖subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7566-7566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7565-7565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7564-7564


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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