TreeView Knowledge Base Browser - Fodder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fodder

Fodder(fodder)

feed, provender

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20038-20039
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 897-897
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20035-20035	Fodder is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20036-20036	Fodder is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20037-20037	Fodder is internally related to food for fn

appearance as argument number 2

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.	Economy.kif 4805-4805	Forage crop is internally related to fodder
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24464-24464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24463-24463
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24462-24462

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20052-20060	If fodder is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of eating and the entity is an agent of the other entity and the object is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal

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