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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shellfish

 Sigma KEE - Shellfish
Shellfish(贝类)

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1947-1948
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6850-6850
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7833-7833
No TPTP formula. May not be expressible in strict first order. Food.kif 1946-1946 贝类 是 海鲜 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1950-1950 CrabMeat 是 贝类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1954-1954 小龙虾 是 贝类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1956-1956 CrayfishMeat 是 贝类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1959-1959 LobsterMeat 是 贝类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1963-1963 PrawnMeat 是 贝类 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52509-52509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52508-52508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52507-52507


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