Raisin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Raisin

Raisin(raisin)

currant, raisin, seeded_raisin, seedless_raisin, sultana

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3324-3324
No TPTP formula. May not be expressible in strict first order.	Food.kif 3323-3323	Raisin is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	Raisin is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65383-65383

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3325-3332

If an entity is an instance of raisin,
then there exist a process and another entity such that the process is an instance of drying and the other entity is an instance of grape and the other entity is a patient of the process and the entity is a result of the process

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