agent (agent)

(agent process agent) means that agent is an active determinant, either animate or inanimate, of the Process process, with or without voluntary intention. For example, water is the agent of erosion in the following proposition: the water eroded the coastline. For another example, Eve is an agent in the following proposition: Eve bit an apple.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

vibhakti bhUmikaa

agent

Coordinate term(s)

destination direction experiencer origin path patient

Type restrictions

agent(prakriyaa, kartaa)

Related WordNet synsets

agency: the state of being in action or exerting power; "the agency of providence"; "she has free agency"
act, move: perform an action; "think before you act"; "We must move quickly"
agential: of or relating to an agent or agency

See more related synsets on a separate page.

Axioms (74)

Agar lang is an instance of pashubhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of pashu aur agent is not an instance of maanava.

(=>
      (and
            (instance ?LANG AnimalLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (and
            (instance ?AGENT Animal)
            (not
                  (instance ?AGENT Human))))

Agar lang is an instance of saMgaNaka bhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of yantra.

(=>
      (and
            (instance ?LANG ComputerLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Machine))

Agar lang is an instance of maanava bhaashaa aur proc agent kaa kaaran hai aur lang is an instrument for proc, to agent is an instance of maanava.

(=>
      (and
            (instance ?LANG HumanLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Human))

agent is an instance of kartaa agar hai yah kuch proc nahin, ki proc agent kaa kaaran hai.

(<=>
      (instance ?AGENT Agent)
      (exists
            (?PROC)
            (agent ?PROC ?AGENT)))

Agar process is an instance of prakriyaa, to yah kuch cause nahin, ki process cause kaa kaaran hai.

(=>
      (instance ?PROCESS Process)
      (exists
            (?CAUSE)
            (agent ?PROCESS ?CAUSE)))

Agar obj exploits agent, to yah kuch process nahin, ki process agent kaa kaaran hai aur obj is a resource for process.

(=>
      (exploits ?OBJ ?AGENT)
      (exists
            (?PROCESS)
            (and
                  (agent ?PROCESS ?AGENT)
                  (resource ?PROCESS ?OBJ))))

Agar agent has &n skill to do proc, to agent is capable to do proc in role agent.

(=>
      (hasSkill ?PROC ?AGENT)
      (capability ?PROC agent ?AGENT))

Agar agent has the right to perform process, to agent is capable to do process in role agent.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (capability ?PROCESS agent ?AGENT))

Agar agent is obliged to perform tasks of type process, to agent is capable to do process in role agent.

(=>
      (holdsObligation ?PROCESS ?AGENT)
      (capability ?PROCESS agent ?AGENT))

Agar agent uses obj, to yah kuch proc nahin, ki proc agent kaa kaaran hai aur obj is an instrument for proc.

(=>
      (uses ?OBJ ?AGENT)
      (exists
            (?PROC)
            (and
                  (agent ?PROC ?AGENT)
                  (instrument ?PROC ?OBJ))))

Agar digest is an instance of digesting aur digest organism kaa kaaran hai, to yah kuch antargrahaNa ingest nahin, ki ingest organism kaa kaaran hai aur "the time of existence of digest" overlaps "the time of existence of ingest".

(=>
      (and
            (instance ?DIGEST Digesting)
            (agent ?DIGEST ?ORGANISM))
      (exists
            (?INGEST)
            (and
                  (instance ?INGEST Ingesting)
                  (agent ?INGEST ?ORGANISM)
                  (overlapsTemporally
                        (WhenFn ?INGEST)
                        (WhenFn ?DIGEST)))))

Agar rep is an instance of punaraavritti aur rep parent kaa kaaran hai aur child is a result of rep, to parent is a parent of child.

(=>
      (and
            (instance ?REP Replication)
            (agent ?REP ?PARENT)
            (result ?REP ?CHILD))
      (parent ?CHILD ?PARENT))

Agar proc is an instance of sabhipraaya prakriyaa aur proc agent kaa kaaran hai, to yah kuch purp nahin, ki proc has &n purpose purp for agent.

(=>
      (and
            (instance ?PROC IntentionalProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?PURP)
            (hasPurposeForAgent ?PROC ?PURP ?AGENT)))

Agar proc is an instance of sabhipraaya prakriyaa, to yah kuch sangyaanaatmaka kartaa agent nahin, ki proc agent kaa kaaran hai.

(=>
      (instance ?PROC IntentionalProcess)
      (exists
            (?AGENT)
            (and
                  (instance ?AGENT CognitiveAgent)
                  (agent ?PROC ?AGENT))))

Agar act is an instance of sangathan sanbandhii prakriyaa aur act agent kaa kaaran hai, to

agent is an instance of sansthaa
yah kuch sansthaa org nahin, ki agent is a member of org

(=>
      (and
            (instance ?ACT OrganizationalProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT Organization)
            (exists
                  (?ORG)
                  (and
                        (instance ?ORG Organization)
                        (member ?AGENT ?ORG)))))

Agar act is an instance of dhaarmika prakriyaa aur act agent kaa kaaran hai, to

agent is an instance of dhaarmika sansthaa
yah kuch dhaarmika sansthaa org nahin, ki agent is a member of org

(=>
      (and
            (instance ?ACT ReligiousProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT ReligiousOrganization)
            (exists
                  (?ORG)
                  (and
                        (member ?AGENT ?ORG)
                        (instance ?ORG ReligiousOrganization)))))

Agar join is an instance of sansthaa kaarya grahana aur org is an instance of sansthaa aur join org kaa kaaran hai aur person is a patient of join, to person is a member of org immediately after "the time of existence of join".

(=>
      (and
            (instance ?JOIN JoiningAnOrganization)
            (instance ?ORG Organization)
            (agent ?JOIN ?ORG)
            (patient ?JOIN ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?JOIN))
            (member ?PERSON ?ORG)))

Agar leave is an instance of sansthaa tyaaga aur org is an instance of sansthaa aur leave org kaa kaaran hai aur person is a patient of leave, to person is not a member of org immediately after "the time of existence of leave".

(=>
      (and
            (instance ?LEAVE LeavingAnOrganization)
            (instance ?ORG Organization)
            (agent ?LEAVE ?ORG)
            (patient ?LEAVE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?LEAVE))
            (not
                  (member ?PERSON ?ORG))))

Agar grad is an instance of snaatakataa aur grad org kaa kaaran hai aur person is a patient of grad, to org is an instance of shEkshaNika sansthaa.

(=>
      (and
            (instance ?GRAD Graduation)
            (agent ?GRAD ?ORG)
            (patient ?GRAD ?PERSON))
      (instance ?ORG EducationalOrganization))

Agar mat is an instance of praveshikaa-pariikshaa aur mat org kaa kaaran hai aur person is a patient of mat, to org is an instance of shEkshaNika sansthaa.

(=>
      (and
            (instance ?MAT Matriculation)
            (agent ?MAT ?ORG)
            (patient ?MAT ?PERSON))
      (instance ?ORG EducationalOrganization))

Agar hire is an instance of niyukti aur org is an instance of sansthaa aur hire org kaa kaaran hai aur person is a patient of hire, to org employs person immediately after "the time of existence of hire".

(=>
      (and
            (instance ?HIRE Hiring)
            (instance ?ORG Organization)
            (agent ?HIRE ?ORG)
            (patient ?HIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?HIRE))
            (employs ?ORG ?PERSON)))

Agar fire is an instance of rojagaara samaapti aur org is an instance of sansthaa aur fire org kaa kaaran hai aur person is a patient of fire, to org doesn't employ person immediately after "the time of existence of fire".

(=>
      (and
            (instance ?FIRE TerminatingEmployment)
            (instance ?ORG Organization)
            (agent ?FIRE ?ORG)
            (patient ?FIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?FIRE))
            (not
                  (employs ?ORG ?PERSON))))

Agar proc is an instance of raajanaitika prakriyaa, to yah kuch sarakaara gov nahin, ki proc gov kaa kaaran hai yaa gov is a patient of proc.

(=>
      (instance ?PROC PoliticalProcess)
      (exists
            (?GOV)
            (and
                  (instance ?GOV Government)
                  (or
                        (agent ?PROC ?GOV)
                        (patient ?PROC ?GOV)))))

Agar motion is an instance of shaariirika gati, to yah kuch shaarIrika bhaaga obj,jIvadhaarI padaartha agent nahin, ki obj is a patient of motion aur motion agent kaa kaaran hai.

(=>
      (instance ?MOTION BodyMotion)
      (exists
            (?OBJ ?AGENT)
            (and
                  (instance ?OBJ BodyPart)
                  (patient ?MOTION ?OBJ)
                  (instance ?AGENT Organism)
                  (agent ?MOTION ?AGENT))))

Agar walk is an instance of tahalanaa aur walk agent kaa kaaran hai, to yah kuch thala kshetra area nahin, ki agent is located at area.

(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))

Agar swim is an instance of tairanaa aur swim agent kaa kaaran hai, to yah kuch jala kshetra area nahin, ki agent is located at area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

Agar transfer is an instance of sthaanaantarana aur transfer agent kaa kaaran hai aur patient is a patient of transfer, to agent is not equal to patient.

(=>
      (and
            (instance ?TRANSFER Transfer)
            (agent ?TRANSFER ?AGENT)
            (patient ?TRANSFER ?PATIENT))
      (not
            (equal ?AGENT ?PATIENT)))

Agar touch is an instance of shparshana aur touch obj1 kaa kaaran hai aur obj2 is a patient of touch, to obj1 is connected to obj2 immediately after "the time of existence of touch".

(=>
      (and
            (instance ?TOUCH Touching)
            (agent ?TOUCH ?OBJ1)
            (patient ?TOUCH ?OBJ2))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2)))

Agar give is an instance of arpana aur give agent1 kaa kaaran hai aur give ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of give, to yah kuch praapwi get nahin, ki get agent2 kaa kaaran hai aur get origins at agent1 aur obj is a patient of get.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?GIVE ?OBJ))
      (exists
            (?GET)
            (and
                  (instance ?GET Getting)
                  (agent ?GET ?AGENT2)
                  (origin ?GET ?AGENT1)
                  (patient ?GET ?OBJ))))

Agar give is an instance of arpana aur give agent kaa kaaran hai, to give origins at agent.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT))
      (origin ?GIVE ?AGENT))

Yah kuch rina aadaana borrow nahin, ki borrow agent1 kaa kaaran hai aur borrow origins at agent2 aur object is a patient of borrow agar hai yah kuch aapurti lend nahin, ki lend agent2 kaa kaaran hai aur lend ends at agent1 aur object is a patient of lend.

(<=>
      (exists
            (?BORROW)
            (and
                  (instance ?BORROW Borrowing)
                  (agent ?BORROW ?AGENT1)
                  (origin ?BORROW ?AGENT2)
                  (patient ?BORROW ?OBJECT)))
      (exists
            (?LEND)
            (and
                  (instance ?LEND Lending)
                  (agent ?LEND ?AGENT2)
                  (destination ?LEND ?AGENT1)
                  (patient ?LEND ?OBJECT))))

Agar get is an instance of praapwi aur get agent kaa kaaran hai, to get ends at agent.

(=>
      (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT))
      (destination ?GET ?AGENT))

Agar trans is an instance of lena-dena, to yah kuch agent1,agent2,arpana give1,arpana give2,obj1,obj2 nahin, ki give1 is a subprocess of trans aur give2 is a subprocess of trans aur give1 agent1 kaa kaaran hai aur give2 agent2 kaa kaaran hai aur obj1 is a patient of give1 aur obj2 is a patient of give2 aur give1 ends at agent2 aur give2 ends at agent1 aur agent1 is not equal to agent2 aur obj1 is not equal to obj2.

(=>
      (instance ?TRANS Transaction)
      (exists
            (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
            (and
                  (instance ?GIVE1 Giving)
                  (instance ?GIVE2 Giving)
                  (subProcess ?GIVE1 ?TRANS)
                  (subProcess ?GIVE2 ?TRANS)
                  (agent ?GIVE1 ?AGENT1)
                  (agent ?GIVE2 ?AGENT2)
                  (patient ?GIVE1 ?OBJ1)
                  (patient ?GIVE2 ?OBJ2)
                  (destination ?GIVE1 ?AGENT2)
                  (destination ?GIVE2 ?AGENT1)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

Agar buy is an instance of kraya aur buy agent kaa kaaran hai, to buy ends at agent.

(=>
      (and
            (instance ?BUY Buying)
            (agent ?BUY ?AGENT))
      (destination ?BUY ?AGENT))

Yah kuch kraya buy nahin, ki buy agent1 kaa kaaran hai aur buy origins at agent2 aur object is a patient of buy agar hai yah kuch vikraya sell nahin, ki sell agent2 kaa kaaran hai aur sell ends at agent1 aur object is a patient of sell.

(<=>
      (exists
            (?BUY)
            (and
                  (instance ?BUY Buying)
                  (agent ?BUY ?AGENT1)
                  (origin ?BUY ?AGENT2)
                  (patient ?BUY ?OBJECT)))
      (exists
            (?SELL)
            (and
                  (instance ?SELL Selling)
                  (agent ?SELL ?AGENT2)
                  (destination ?SELL ?AGENT1)
                  (patient ?SELL ?OBJECT))))

Agar sell is an instance of vikraya aur sell agent kaa kaaran hai, to sell origins at agent.

(=>
      (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT))
      (origin ?SELL ?AGENT))

Agar learn is an instance of adhyayana aur learn agent kaa kaaran hai, to agent is an instance of sangyaanaatmaka kartaa.

(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))

Agar yah kuch adhyayana learn nahin, ki learn agent kaa kaaran hai aur prop is a patient of learn during time, to agent prop par vishvaas kartaa hai immediately after time.

(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))

Agar agent is an instance of sangyaanaatmaka kartaa, to agent is capable to do vivechanaa in role agent.

(=>
      (instance ?AGENT CognitiveAgent)
      (capability Reasoning agent ?AGENT))

Agar meas is an instance of maapana aur meas agent kaa kaaran hai aur obj is a patient of meas, to yah kuch quant,unit nahin, ki agent knows "the measure of obj is "quant unit(s)"" immediately after "the time of existence of meas".

(=>
      (and
            (instance ?MEAS Measuring)
            (agent ?MEAS ?AGENT)
            (patient ?MEAS ?OBJ))
      (exists
            (?QUANT ?UNIT)
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?MEAS))
                  (knows
                        ?AGENT
                        (measure
                              ?OBJ
                              (MeasureFn ?QUANT ?UNIT))))))

Agar count is an instance of ganana aur count agent kaa kaaran hai aur entity is a patient of count, to yah kuch number nahin, ki agent knows ""the number of instances in entity" is equal to number".

(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))

Agar keep is an instance of anurakshana aur keep agent kaa kaaran hai aur obj is a patient of keep, to yah kuch put nahin, ki put agent kaa kaaran hai aur obj is a patient of put aur "the time of existence of put" happens earlier than "the time of existence of keep".

(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))

Agar kill is an instance of hatyaa aur kill agent kaa kaaran hai aur patient is a patient of kill, to agent is an instance of jIvadhaarI padaartha aur patient is an instance of jIvadhaarI padaartha.

(=>
      (and
            (instance ?KILL Killing)
            (agent ?KILL ?AGENT)
            (patient ?KILL ?PATIENT))
      (and
            (instance ?AGENT Organism)
            (instance ?PATIENT Organism)))

Agar poke is an instance of dhakkaa aur poke agent kaa kaaran hai aur obj is a patient of poke aur inst is an instrument for poke, to inst connects agent and obj the time of existence of poke.

(=>
      (and
            (instance ?POKE Poking)
            (agent ?POKE ?AGENT)
            (patient ?POKE ?OBJ)
            (instrument ?POKE ?INST))
      (holdsDuring
            (WhenFn ?POKE)
            (connects ?INST ?AGENT ?OBJ)))

Agar search is an instance of khoja aur search agent kaa kaaran hai aur entity is a patient of search, to agent is interested in entity.

(=>
      (and
            (instance ?SEARCH Searching)
            (agent ?SEARCH ?AGENT)
            (patient ?SEARCH ?ENTITY))
      (inScopeOfInterest ?AGENT ?ENTITY))

Agar pursue is an instance of anisarana aur pursue agent kaa kaaran hai aur obj is a patient of pursue, to agent wants obj during pursue.

(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (wants ?AGENT ?OBJ)))

Agar pursue is an instance of anisarana aur pursue agent kaa kaaran hai aur obj is a patient of pursue, to agent doesn't posess obj during pursue.

(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (not
                  (possesses ?AGENT ?OBJ))))

Agar investigate is an instance of anveshana karma aur investigate agent kaa kaaran hai aur prop is a patient of investigate, to agent doesn't know prop the time of existence of investigate.

(=>
      (and
            (instance ?INVESTIGATE Investigating)
            (agent ?INVESTIGATE ?AGENT)
            (patient ?INVESTIGATE ?PROP))
      (holdsDuring
            (WhenFn ?INVESTIGATE)
            (not
                  (knows ?AGENT ?PROP))))

Agar proc is an instance of nidaanakaarii prakriyaa aur proc agent kaa kaaran hai, to yah kuch cause nahin, ki proc has &n purpose "agent knows "cause causes proc"" for agent.

(=>
      (and
            (instance ?PROC DiagnosticProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?CAUSE)
            (hasPurposeForAgent
                  ?PROC
                  (knows
                        ?AGENT
                        (causes ?CAUSE ?PROC))
                  ?AGENT)))

Agar interaction is an instance of saamaajika antah kriyaa, to yah kuch agent1,agent2 nahin, ki interaction agent1 kaa kaaran hai aur interaction agent2 kaa kaaran hai aur agent1 is not equal to agent2.

(=>
      (instance ?INTERACTION SocialInteraction)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?INTERACTION ?AGENT1)
                  (agent ?INTERACTION ?AGENT2)
                  (not
                        (equal ?AGENT1 ?AGENT2)))))

Agar communicate is an instance of sanchaarana, to yah kuch tatva-vaahaka padaartha obj,sangyaanaatmaka kartaa agent1,sangyaanaatmaka kartaa agent2 nahin, ki obj is a patient of communicate aur communicate agent1 kaa kaaran hai aur communicate ends at agent2.

(=>
      (instance ?COMMUNICATE Communication)
      (exists
            (?OBJ ?AGENT1 ?AGENT2)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (patient ?COMMUNICATE ?OBJ)
                  (instance ?AGENT1 CognitiveAgent)
                  (agent ?COMMUNICATE ?AGENT1)
                  (instance ?AGENT2 CognitiveAgent)
                  (destination ?COMMUNICATE ?AGENT2))))

Agar state is an instance of kathana aur state agent kaa kaaran hai aur formula is a patient of state aur formula is an instance of sUtra, to agent formula par vishvaas kartaa hai the time of existence of state.

(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))

Agar request is an instance of praarthanaa karanaa aur request agent kaa kaaran hai aur formula is a patient of request aur formula is an instance of sUtra, to agent desires formula.

(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))

Agar question is an instance of prashna karanaa aur question agent kaa kaaran hai aur formula is a patient of question aur formula is an instance of sUtra, to agent doesn't know formula the time of existence of question.

(=>
      (and
            (instance ?QUESTION Questioning)
            (agent ?QUESTION ?AGENT)
            (patient ?QUESTION ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?QUESTION)
            (not
                  (knows ?AGENT ?FORMULA))))

Agar express is an instance of abhovyaktikarana aur express agent kaa kaaran hai, to yah kuch mano avasthaa, EmotionalState(bhaavaatmaka avasthaa state nahin, ki state is an attribute of agent aur express expresses state.

(=>
      (and
            (instance ?EXPRESS Expressing)
            (agent ?EXPRESS ?AGENT))
      (exists
            (?STATE)
            (and
                  (instance ?STATE StateOfMind)
                  (attribute ?AGENT ?STATE)
                  (represents ?EXPRESS ?STATE))))

Agar declare is an instance of ghoshanaa aur declare agent1 kaa kaaran hai, to yah kuch proc,agent2 nahin, ki declare allows agent2 to perform task of the type proc yaa declare obligates agent2 to perform task of the type proc.

(=>
      (and
            (instance ?DECLARE Declaring)
            (agent ?DECLARE ?AGENT1))
      (exists
            (?PROC ?AGENT2)
            (or
                  (confersRight ?PROC ?DECLARE ?AGENT2)
                  (confersObligation ?PROC ?DECLARE ?AGENT2))))

agar cooperate is an instance of sahayoga,
to yah kuch purp nahin, ki sab-kuch agent ke lie hai, ki: agar cooperate agent kaa kaaran hai, to cooperate has &n purpose purp for agent

(=>
      (instance ?COOPERATE Cooperation)
      (exists
            (?PURP)
            (forall
                  (?AGENT)
                  (=>
                        (agent ?COOPERATE ?AGENT)
                        (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))

Agar meet is an instance of sangoshthii aur meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai, to agent1 is near to agent2 the time of existence of meet.

(=>
      (and
            (instance ?MEET Meeting)
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2))
      (holdsDuring
            (WhenFn ?MEET)
            (orientation ?AGENT1 ?AGENT2 Near)))

Agar meet is an instance of sangoshthii, to yah kuch agent1,agent2 nahin, ki meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai aur meet has purpose "yah kuch sanchaarana comm nahin, ki comm agent1 kaa kaaran hai aur comm agent2 kaa kaaran hai".

(=>
      (instance ?MEET Meeting)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?MEET ?AGENT1)
                  (agent ?MEET ?AGENT2)
                  (hasPurpose
                        ?MEET
                        (exists
                              (?COMM)
                              (and
                                    (instance ?COMM Communication)
                                    (agent ?COMM ?AGENT1)
                                    (agent ?COMM ?AGENT2)))))))

Agar contest is an instance of pratiyogitaa, to yah kuch agent1,agent2,purp1,purp2 nahin, ki contest agent1 kaa kaaran hai aur contest agent2 kaa kaaran hai aur contest has &n purpose purp1 for agent1 aur contest has &n purpose purp2 for agent2 aur agent1 is not equal to agent2 aur purp1 is not equal to purp2.

(=>
      (instance ?CONTEST Contest)
      (exists
            (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
            (and
                  (agent ?CONTEST ?AGENT1)
                  (agent ?CONTEST ?AGENT2)
                  (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
                  (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?PURP1 ?PURP2)))))

agar war is an instance of yuddha aur war agent kaa kaaran hai,
to
- agent is an instance of raashtra
- - agent is an instance of sansthaa
  - sab-kuch member ke lie hai, ki: agar member is a member of agent, to member is an instance of raashtra

(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))

Agar percept is an instance of gyaana aur percept agent kaa kaaran hai, to agent is an instance of pashu.

(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT))
      (instance ?AGENT Animal))

Agar percept is an instance of gyaana aur percept agent kaa kaaran hai aur object is a patient of percept, to agent notices object.

(=>
      (and
            (instance ?PERCEPT Perception)
            (agent ?PERCEPT ?AGENT)
            (patient ?PERCEPT ?OBJECT))
      (notices ?AGENT ?OBJECT))

Agar see is an instance of darshana aur see agent kaa kaaran hai aur obj is a patient of see, to

illuminated is an attribute of obj
yah kuch varNa visheshataa prop nahin, ki agent knows "prop is an attribute of obj"

(=>
      (and
            (instance ?SEE Seeing)
            (agent ?SEE ?AGENT)
            (patient ?SEE ?OBJ))
      (and
            (attribute ?OBJ Illuminated)
            (exists
                  (?PROP)
                  (and
                        (instance ?PROP ColorAttribute)
                        (knows
                              ?AGENT
                              (attribute ?OBJ ?PROP))))))

Agar emit is an instance of vikaranakaarii dhvani aur emit sound kaa kaaran hai, to yah kuch dhvani visheshataa attr nahin, ki attr is an attribute of sound.

(=>
      (and
            (instance ?EMIT RadiatingSound)
            (agent ?EMIT ?SOUND))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SoundAttribute)
                  (attribute ?SOUND ?ATTR))))

Agar virus is an instance of vishaaNu aur proc is an instance of punaraavritti aur proc virus kaa kaaran hai, to yah kuch koshIka cell nahin, ki proc is located at cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

Agar agent is the author of text, to yah kuch process,text instance nahin, ki process agent kaa kaaran hai aur text is a result of process.

(=>
      (authors ?AGENT ?TEXT)
      (exists
            (?PROCESS ?INSTANCE)
            (and
                  (agent ?PROCESS ?AGENT)
                  (instance ?INSTANCE ?TEXT)
                  (result ?PROCESS ?TEXT))))

org publishes text agar hai yah kuch prakaashana pub nahin, ki pub org kaa kaaran hai aur text is a patient of pub.

(<=>
      (publishes ?ORG ?TEXT)
      (exists
            (?PUB)
            (and
                  (instance ?PUB Publication)
                  (agent ?PUB ?ORG)
                  (patient ?PUB ?TEXT))))

Agar building is an instance of imaarata, to yah kuch maanava human nahin, ki

human lives in building
yah kuch act nahin, ki act human kaa kaaran hai aur act is located at building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

Agar pol is an instance of raajanItika sansthaa, to yah kuch raajanaitika prakriyaa proc nahin, ki proc pol kaa kaaran hai.

(=>
      (instance ?POL PoliticalOrganization)
      (exists
            (?PROC)
            (and
                  (instance ?PROC PoliticalProcess)
                  (agent ?PROC ?POL))))

Agar agent is obliged to perform tasks of type process, to the statement "yah kuch process instance nahin, ki instance agent kaa kaaran hai" has the model force of obligation.

(=>
      (holdsObligation ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Obligation))

Agar agent has the right to perform process, to the statement "yah kuch process instance nahin, ki instance agent kaa kaaran hai" has the model force of permission.

(=>
      (holdsRight ?PROCESS ?AGENT)
      (modalAttribute
            (exists
                  (?INSTANCE)
                  (and
                        (instance ?INSTANCE ?PROCESS)
                        (agent ?INSTANCE ?AGENT)))
            Permission))

Agar attr is an attribute of obj aur attr is an instance of pratiyogitaa visheshataa, to yah kuch pratiyogitaa contest nahin, ki contest obj kaa kaaran hai yaa obj is a patient of contest.

(=>
      (and
            (attribute ?OBJ ?ATTR)
            (instance ?ATTR ContestAttribute))
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (or
                        (agent ?CONTEST ?OBJ)
                        (patient ?CONTEST ?OBJ)))))

Agar organism is an instance of jIvadhaarI padaartha aur process organism kaa kaaran hai, to living is an attribute of organism the time of existence of process.

(=>
      (and
            (instance ?ORGANISM Organism)
            (agent ?PROCESS ?ORGANISM))
      (holdsDuring
            (WhenFn ?PROCESS)
            (attribute ?ORGANISM Living)))