consequent

(=>     (and         (instance ?DRY Drying)         (patient ?DRY ?OBJ))     (holdsDuring         (EndFn             (WhenFn ?DRY))         (attribute ?OBJ Dry)))	Merge.kif 12953-12958	If a process is an instance of drying and an entity is a patient of the process, then Dry is an attribute of the entity holds during the end of the time of existence of the process
(=>     (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 7326-7333	If a process is an instance of Irrigating and an entity is a patient of the process and the entity is an instance of land area, then Dry is an attribute of the entity holds during immediately before the time of existence of the process and Damp is an attribute of the entity holds during immediately after the time of existence of the process
(=>     (instance ?DESERT Desert)     (attribute ?DESERT Dry))	Geography.kif 8238-8240	If an object is an instance of Desert, then Dry is an attribute of the object
(=>     (instance ?W FohnWind)     (property ?W Dry))	Weather.kif 2210-2212	If an entity is an instance of FohnWind, then the entity the attribute Dry
(=>     (instance ?W HarmattanWind)     (property ?W Dry))	Weather.kif 2019-2021	If an entity is an instance of HarmattanWind, then the entity the attribute Dry
(=>     (instance ?W Khamsin)     (property ?W Dry))	Weather.kif 2083-2085	If an entity is an instance of Khamsin, then the entity the attribute Dry
(=>     (instance ?W SantaAnaWinds)     (attribute ?W Dry))	Weather.kif 2629-2631	If an object is an instance of SantaAnaWinds, then Dry is an attribute of the object
(=>     (instance ?W Sirocco)     (property ?W Dry))	Weather.kif 1993-1995	If an entity is an instance of Sirocco, then the entity the attribute Dry

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