Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Humus
Humus(humus)
compost

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


(subclass Humus Mixture) Mid-level-ontology.kif 19916-19916 Humus is a subclass of mixture
(documentation Humus EnglishLanguage "Humus is decaying organic matter found in Soil and derived from dead animal and plant material.") Mid-level-ontology.kif 19917-19918 Humus is a subclass of mixture
(roomTempState Humus Solid) Mid-level-ontology.kif 34064-34064 room temperature state humus and solid
(externalImage Humus "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Soil_profile.jpg") pictureList.kif 6618-6618 room temperature state humus and solid

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


(termFormat EnglishLanguage Humus "humus") domainEnglishFormat.kif 28913-28913
(termFormat ChineseTraditionalLanguage Humus "腐殖質") domainEnglishFormat.kif 28914-28914
(termFormat ChineseLanguage Humus "腐殖质") domainEnglishFormat.kif 28915-28915

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


(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))		 Mid-level-ontology.kif 19920-19925 If X is an instance of humus, then there exists Y such that Y is an instance of soil and X is a part of Y

consequent
-------------------------


(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))		 Mid-level-ontology.kif 19859-19866 If X is an instance of soil, then there exist Y, Z such that Y is an instance of humus, Z is an instance of mineral, Y is a part of X, and Z is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners