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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalFruit
TropicalFruit(tropical fruit)
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 Tropical fruit is a subclass of fruit

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2366-2366 Banana is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2368-2368 Breadfruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2370-2370 Coconut is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2375-2375 Date fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2377-2377 Mango is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2379-2379 Papaw is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2383-2383 Papaya is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2385-2385 Passion fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2387-2387 Pineapple is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Food.kif 2389-2389 Plantain is a subclass of tropical fruit
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 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