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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TropicalFruit

 Sigma KEE - TropicalFruit
TropicalFruit(熱帶水果)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1462-1462
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3255-3255
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3021-3021
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3257-3257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3253-3253
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3254-3254
No TPTP formula. May not be expressible in strict first order. Food.kif 2364-2364 子類 熱帶水果 and 水果

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2366-2366 子類 香蕉 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2368-2368 子類 麵包果 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2370-2370 子類 椰子 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2375-2375 子類 日期水果 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2377-2377 子類 芒果 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2379-2379 子類 木瓜 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2383-2383 子類 番木瓜 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2385-2385 子類 百香果 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2387-2387 子類 菠蘿 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. Food.kif 2389-2389 子類 芭蕉 and 熱帶水果
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59252-59252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59251-59251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59250-59250


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