Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DVD
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Soil Mixture) | Mid-level-ontology.kif 19855-19855 | Soil is a subclass of mixture |
| (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 19856-19857 | Soil is a subclass of mixture |
| (roomTempState Soil Solid) | Mid-level-ontology.kif 34087-34087 | room temperature state soil and solid |
| (externalImage Soil "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ soil.png") | pictureList.kif 741-741 | room temperature state soil and solid |
| appearance as argument number 2 |
|
|
| (subclass Clay Soil) | Mid-level-ontology.kif 19895-19895 | Clay is a subclass of soil |
| (subclass Mud Soil) | Cars.kif 4873-4873 | Mud is a subclass of soil |
| (subclass Loam Soil) | Geography.kif 5840-5840 | Loam is a subclass of soil |
| (subclass Sand Soil) | Geography.kif 5865-5865 | Sand is a subclass of soil |
| (subclass Silt Soil) | Geography.kif 5922-5922 | Silt is a subclass of soil |
| (termFormat EnglishLanguage Soil "soil") | domainEnglishFormat.kif 53745-53745 | Silt is a subclass of soil |
| (termFormat ChineseTraditionalLanguage Soil "泥") | domainEnglishFormat.kif 53746-53746 | Silt is a subclass of soil |
| (termFormat ChineseLanguage Soil "泥") | domainEnglishFormat.kif 53747-53747 | Silt is a subclass of soil |
| antecedent |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 19932-19939 | If X is an instance of burying, then there exist Y, Z such that Y is an instance of covering, Z is an instrument for Y, Z is an instance of soil, and Y is a subprocess of X |
| (=> (instance ?D Digging) (exists (?S) (and (patient ?D ?S) (instance ?S Soil)))) |
Mid-level-ontology.kif 19945-19950 | If X is an instance of digging, then there exists Y such that Y is a patient of X and Y is an instance of soil |
| (=> (and (instance ?TILL Tilling) (patient ?TILL ?SOIL)) (instance ?SOIL Soil)) |
Mid-level-ontology.kif 19958-19962 | If X is an instance of tilling and Y is a patient of X, then Y is an instance of soil |
| (=> (instance ?PROCESS SoilSalination) (exists (?SOIL) (and (instance ?SOIL Soil) (resource ?PROCESS ?SOIL)))) |
Geography.kif 4386-4391 | If X is an instance of soil salination, then there exists Y such that Y is an instance of soil and Y is a resource for X |
| (=> (instance ?Solution SoilSolution) (exists (?Soil) (and (instance ?Soil Soil) (part ?Solution ?Soil)))) |
Geography.kif 5833-5838 | If X is an instance of soil solution, then there exists Y such that Y is an instance of soil and X is a part of Y |
|
