Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Tilling
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Tilling Digging) | Mid-level-ontology.kif 19952-19952 | Tilling is a subclass of digging |
| (documentation Tilling EnglishLanguage "Any Process of Digging, e.g. breaking and turning over Soil that facilitates Agriculture.") | Mid-level-ontology.kif 19953-19954 | Tilling is a subclass of digging |
| (subclass Tilling IntentionalProcess) | Mid-level-ontology.kif 19955-19955 | Tilling is a subclass of intentional process |
| (subclass Tilling SurfaceChange) | Mid-level-ontology.kif 19956-19956 | Tilling is a subclass of surface change |
| (externalImage Tilling "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Fendt_Tractor_Ripping_up_Kulin.jpg") | pictureList.kif 10290-10290 | Tilling is a subclass of surface change |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 ?T Tilling) (exists (?A) (and (instance ?A Agriculture) (subProcess ?T ?A)))) |
Mid-level-ontology.kif 19964-19969 | If X is an instance of tilling, then there exists Y such that Y is an instance of agriculture and X is a subprocess of Y |
|
