Soil - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Soil

Soil(soil)

dirt, earth, ground, mulch, soil

appearance as argument number 1

(documentation Soil EnglishLanguage "Soil is a substance composed of fine rock material disintegrated by geological processes, mixed with humus, the organic remains of decomposed vegetation.")	Mid-level-ontology.kif 19011-19012
(externalImage Soil "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ soil.png")	pictureList.kif 741-741
(roomTempState Soil Solid)	Mid-level-ontology.kif 32775-32775	roomTempState soil and solid
(subclass Soil Mixture)	Mid-level-ontology.kif 19010-19010	Soil is a subclass of mixture

appearance as argument number 2

(subclass Clay Soil)	Mid-level-ontology.kif 19050-19050	Clay is a subclass of soil
(subclass Loam Soil)	Geography.kif 4405-4405	Loam is a subclass of soil
(subclass Mud Soil)	Cars.kif 5042-5042	Mud is a subclass of soil
(subclass Sand Soil)	Geography.kif 4430-4430	Sand is a subclass of soil
(subclass Silt Soil)	Geography.kif 4487-4487	Silt is a subclass of soil
(termFormat ChineseLanguage Soil "泥")	domainEnglishFormat.kif 53783-53783	Silt is a subclass of soil
(termFormat ChineseTraditionalLanguage Soil "泥")	domainEnglishFormat.kif 53782-53782	Silt is a subclass of soil
(termFormat EnglishLanguage Soil "soil")	domainEnglishFormat.kif 53781-53781	Silt is a subclass of soil

antecedent

(=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain))	Geography.kif 1831-1837	If a corpuscular object is an instance of soil and red is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is an attribute of the other corpuscular object
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain)))	Geography.kif 1823-1829	If a corpuscular object is an instance of soil and yellow is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is not an attribute of the other corpuscular object
(=> (instance ?S Soil) (capability Salination patient ?S))	Geography.kif 2899-2901	If an object is an instance of soil, then the object is capable of doing salinifying as a patient
(=> (instance ?Soil Soil) (exists (?Humus ?Mineral) (and (instance ?Humus Humus) (instance ?Mineral Mineral) (part ?Humus ?Soil) (part ?Mineral ?Soil))))	Mid-level-ontology.kif 19014-19021	If an object is an instance of soil, then there exist another object and a third object such that the other object is an instance of humus and the third object is an instance of mineral and the other object is a part of the object and the third object is a part of the object

consequent

(=> (and (instance ?TILL Tilling) (patient ?TILL ?SOIL)) (instance ?SOIL Soil))	Mid-level-ontology.kif 19113-19117	If a process is an instance of tilling and an entity is a patient of the process, then the entity is an instance of soil
(=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B))))	Mid-level-ontology.kif 19087-19094	If a process is an instance of burying, then there exist another process and an object such that the other process is an instance of covering and the object is an instrument for the other process and the object is an instance of soil and the other process is a subprocess of the process
(=> (instance ?D Digging) (exists (?S) (and (patient ?D ?S) (instance ?S Soil))))	Mid-level-ontology.kif 19100-19105	If a process is an instance of digging, then there exists an entity such that the entity is a patient of the process and the entity is an instance of soil
(=> (instance ?Humus Humus) (exists (?Soil) (and (instance ?Soil Soil) (part ?Humus ?Soil))))	Mid-level-ontology.kif 19075-19080	If an object is an instance of humus, then there exists another object such that the other object is an instance of soil and the object is a part of the other object
(=> (instance ?PROCESS SoilSalination) (exists (?SOIL) (and (instance ?SOIL Soil) (resource ?PROCESS ?SOIL))))	Geography.kif 2942-2947	If a process is an instance of soil salination, then there exists an object such that the object is an instance of soil and the object is a resource for the process
(=> (instance ?Solution SoilSolution) (exists (?Soil) (and (instance ?Soil Soil) (part ?Solution ?Soil))))	Geography.kif 4398-4403	If an object is an instance of soil solution, then there exists another object such that the other object is an instance of soil and the object is a part of the other object

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