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 6374-6376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4683-4683
No TPTP formula. May not be expressible in strict first order. Economy.kif 6377-6377 Fertilizer is internally related to nitrogen
No TPTP formula. May not be expressible in strict first order. Economy.kif 6379-6379 Fertilizer is internally related to phosphoric acid
No TPTP formula. May not be expressible in strict first order. Economy.kif 6378-6378 Fertilizer is internally related to potash
No TPTP formula. May not be expressible in strict first order. Economy.kif 6373-6373 Fertilizer is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1866-1866 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23543-23543 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23542-23542 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23541-23541 Fertilizer is an industry product type of fertilizer mineral mining


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