TreeView Knowledge Base Browser - WineGrape

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WineGrape

WineGrape(wine grape)

Vitis_vinifera, common_grape_vine, vinifera, vinifera_grape

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3687-3688
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	Wine grape is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	Wine grape is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3690-3690	Wine grape is a subclass of grape

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63171-63171
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63170-63170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63169-63169

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3692-3699	If a process is an instance of fermentation and an entity is a patient of the process and the entity is an instance of the juice of wine grape and another entity is a result of the process, then the other entity is an instance of wine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4732-4735	If a kind of plant is equal to plant fn wine grape, then a kind of plant is a subclass of grape vine

statement

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

Food.kif 3685-3685

Vineyard is equal to a farm of wine grape in

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