consequent

(=>     (instance ?CA CommercialAgriculture)     (hasPurpose ?CA         (exists (?SEL ?FOOD ?CF)             (and                 (instance ?SEL Selling)                 (instance ?FOOD AgriculturalArtifact)                 (instance ?CF CommercialFarm)                 (patient ?SEL ?FOOD)                 (agent ?SEL ?CF)))))	Society.kif 1479-1487	If X is an instance of CommercialAgriculture, then X has the purpose there exist Y, Z, W such that Y is an instance of selling, Z is an instance of AgriculturalArtifact, W is an instance of CommercialFarm, Z is a patient of Y, and W is an agent of Y
(=>     (instance ?PLANT CommercialFarm)     (hasPurpose ?PLANT         (exists (?MANUFACTURE ?AA)             (and                 (instance ?MANUFACTURE Manufacture)                 (eventLocated ?MANUFACTURE ?PLANT)                 (instance ?AA AgriculturalArtifact)                 (result ?MANUFACTURE ?AA)))))	Society.kif 1493-1500	If X is an instance of CommercialFarm, then X has the purpose there exist Y, Z such that Y is an instance of manufacture, Y is located at X, Z is an instance of AgriculturalArtifact, and Z is a result 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