Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fertilizer

Sigma KEE - Fertilizer
Fertilizer(fertilizer)
bonemeal, chicken_manure, cow_manure, fertiliser, fertilizer, fish_meal, guano, horse_manure, manure, organic, organic_fertiliser, organic_fertilizer, plant_food

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4861-4863
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4685-4685
No TPTP formula. May not be expressible in strict first order. Economy.kif 4864-4864 Fertilizer is internally related to nitrogen
No TPTP formula. May not be expressible in strict first order. Economy.kif 4866-4866 Fertilizer is internally related to phosphoric acid
No TPTP formula. May not be expressible in strict first order. Economy.kif 4865-4865 Fertilizer is internally related to potash
No TPTP formula. May not be expressible in strict first order. Economy.kif 4860-4860 Fertilizer is a subclass of mixture

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1745-1745 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23467-23467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23466-23466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23465-23465


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