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


KB Term:  Term intersection
English Word: 

Sigma KEE - Irrigating
Irrigating(irrigating)
more pictures...		irrigate, water

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


(subclass Irrigating Motion) Geography.kif 7327-7327 Irrigating is a subclass of motion
(documentation Irrigating EnglishLanguage "Irrigating is the process of transporting and applying water to crops by artificial means.") Geography.kif 7329-7330 Irrigating is a subclass of motion
(externalImage Irrigating "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ TravellingSprinkler.JPG") pictureList.kif 4740-4740 Irrigating is a subclass of motion
(externalImage Irrigating "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Dripirrigation.gif") pictureList.kif 4877-4877 Irrigating is a subclass of motion
(externalImage Irrigating "http://upload.wikimedia.org/wikipedia/en/4/49/ Saudi_arabia_irrigation.jpg") pictureList.kif 4981-4981 Irrigating is a subclass of motion
(externalImage Irrigating "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ PivotWithDrops.JPG") pictureList.kif 4982-4982 Irrigating is a subclass of motion
(externalImage Irrigating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Irrigation_in_the_Heart_of_the_Sahara.jpg") pictureList.kif 4983-4983 Irrigating is a subclass of motion

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


(termFormat EnglishLanguage Irrigating "irrigating") domainEnglishFormat.kif 31119-31119
(termFormat ChineseTraditionalLanguage Irrigating "灌溉") domainEnglishFormat.kif 31120-31120
(termFormat ChineseLanguage Irrigating "灌溉") domainEnglishFormat.kif 31121-31121

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


(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Dry))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Damp))))		 Geography.kif 7332-7339 If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then dry is an attribute of Y holds during immediately before the time of existence of X and damp is an attribute of Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
    (hasPurpose ?IRRIGATION
        (attribute ?AREA FertileTerrain)))		 Geography.kif 7341-7346 If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then X has the purpose fertile terrain is an attribute of Y


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