TreeView Knowledge Base Browser - Hay

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Hay

Sigma KEE - Hay

Hay(hay)

hay, haymow, straw

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20401-20401	Fodder is an attribute of hay
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20400-20400
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1483-1483
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20399-20399	Hay is a subclass of plant substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27642-27642
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27641-27641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27640-27640

antecedent

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

Mid-level-ontology.kif 20403-20410

If an entity is an instance of hay,
then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of grass plant and the entity is a result of the process

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