consequent

(=>     (instance ?A CultivatedLandArea)     (exists (?C)         (and             (instance ?C Agriculture)             (eventLocated ?C ?A))))	Mid-level-ontology.kif 9460-9465	If X is an instance of cultivated land area, then there exists Y such that Y is an instance of agriculture and Y is located at X
(=>     (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
(=>     (instance ?H Harvesting)     (exists (?A)         (and             (instance ?A Agriculture)             (subProcess ?H ?A))))	Mid-level-ontology.kif 20011-20016	If X is an instance of harvesting, then there exists Y such that Y is an instance of agriculture and X is a subprocess of Y
(=>     (attribute ?P FarmHand)     (exists (?F)         (and             (instance ?F Agriculture)             (agent ?F ?P))))	Mid-level-ontology.kif 23095-23100	If farm hand is an attribute of X, then there exists Y such that Y is an instance of agriculture and X is an agent of Y
(=>     (attribute ?X ForageCrop)     (hasPurpose ?X         (exists (?A)             (and                 (instance ?A Agriculture)                 (result ?A ?X)                 (instance ?X Plant)                 (instance ?X                     (FoodForFn DomesticAnimal))))))	Economy.kif 5146-5155	If forage crop is an attribute of X, then X has the purpose there exists Y such that Y is an instance of agriculture, X is a result of Y, X is an instance of plant, and X is an instance of food for domestic animal
(=>     (and         (instance ?P ForestProduct)         (instance ?M Manufacture)         (result ?M ?P)         (patient ?M ?X)         (instance ?X Organism))     (exists (?A ?F)         (and             (instance ?A Agriculture)             (result ?A ?X)             (eventLocated ?A ?F)             (instance ?F Forest))))	Economy.kif 5559-5571	If X is an instance of forest product, Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, and Z is an instance of organism, then there exist W, V such that W is an instance of agriculture, Z is a result of W, W is located at V, and V is an instance of forest
(=>     (instance ?O Orchard)     (exists (?A ?T)         (and             (instance ?A Agriculture)             (located ?A ?O)             (instance ?T Tree)             (result ?A ?T))))	Food.kif 3694-3701	If X is an instance of orchard, then there exist Y, Z such that Y is an instance of agriculture, Y is located at X, Z is an instance of tree, and Z is a result of Y
(=>     (instance ?F         (FarmOfProductFn ?O))     (exists (?A ?OI)         (and             (instance ?OI ?O)             (instance ?A Agriculture)             (located ?A ?F)             (result ?A ?OI))))	Food.kif 3709-3716	If X is an instance of a farm of Y in, then there exist Z, W such that W is an instance of Y, Z is an instance of agriculture, Z is located at X, and W is a result of Z
(=>     (attribute ?AREA FertileTerrain)     (capability Agriculture eventLocated ?AREA))	Geography.kif 3282-3284	If fertile terrain is an attribute of X, then X is capable of doing agriculture as a event located
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (or                         (capability Constructing resource ?THING)                         (capability Agriculture resource ?THING))                     (patient ?EV ?THING))))))	naics.kif 7239-7254	If X is an instance of organization and building material and garden equipment and supplies dealers is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing constructing as a resource or W is capable of doing agriculture as a resource (7) W is a patient 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners