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 21625-21626
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 21622-21622 Fodder is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21623-21623 Fodder is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21624-21624 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 22018-22018 Fodder is an attribute of hay
No TPTP formula. May not be expressible in strict first order. Economy.kif 5145-5145 Forage crop is internally related to fodder
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24469-24469 Forage crop is internally related to fodder
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24468-24468 Forage crop is internally related to fodder
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24467-24467 Forage crop is internally related to fodder

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21639-21647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21628-21637


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