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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SheepFarming
SheepFarming(养羊)
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 养羊industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 428-428 养羊绵羊和山羊养殖subAttribute

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 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