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 5976-5978
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4684-4684
No TPTP formula. May not be expressible in strict first order. Economy.kif 5979-5979 Fertilizer is internally related to nitrogen
No TPTP formula. May not be expressible in strict first order. Economy.kif 5981-5981 Fertilizer is internally related to phosphoric acid
No TPTP formula. May not be expressible in strict first order. Economy.kif 5980-5980 Fertilizer is internally related to potash
No TPTP formula. May not be expressible in strict first order. Economy.kif 5975-5975 Fertilizer is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1741-1741 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23540-23540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23539-23539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23538-23538


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