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

KB Term:  Term intersection
English Word: 

Sigma KEE - AutonomousAgent
AutonomousAgent

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


(subclass AutonomousAgent Object) Merge.kif 1651-1651
(documentation AutonomousAgent EnglishLanguage "Something or someone that can act on its own and produce changes in the world.") Merge.kif 1653-1654

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


(subclass SentientAgent AutonomousAgent) Merge.kif 1661-1661
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14368-14368
(subclass Organism AutonomousAgent) Merge.kif 14668-14668
(subclass CommercialAgent AutonomousAgent) Merge.kif 16529-16529
(subclass Group AutonomousAgent) Merge.kif 16583-16583
(subclass Organization AutonomousAgent) Merge.kif 16967-16967
(disjoint Furniture AutonomousAgent) Mid-level-ontology.kif 4360-4360
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 7799-7799
(subclass Employer AutonomousAgent) Economy.kif 1470-1470
(subclass AutomatedSystem AutonomousAgent) Facebook.kif 651-651
(subclass CarryBot AutonomousAgent) Robot.kif 7-7
(termFormat EnglishLanguage AutonomousAgent " Autonomous agent") domainEnglishFormat.kif 64499-64499
(subclass AutonomousMobileRobot AutonomousAgent) engineering.kif 1040-1040
(subclass ITAgent AutonomousAgent) engineering.kif 1731-1731
(termFormat EnglishLanguage AutonomousAgent "agent") english_format.kif 902-902

appearance as argument number 3
-------------------------


(domain leader 1 AutonomousAgent) Merge.kif 1705-1705
(domain agent 2 AutonomousAgent) Merge.kif 2542-2542
(domain experiencer 2 AutonomousAgent) Merge.kif 2567-2567
(domain exploits 2 AutonomousAgent) Merge.kif 4034-4034
(domain hasPurposeForAgent 2 AutonomousAgent) Merge.kif 4066-4066
(domain hasSkill 2 AutonomousAgent) Merge.kif 4084-4084
(domain possesses 1 AutonomousAgent) Merge.kif 4359-4359
(domain PropertyFn 1 AutonomousAgent) Merge.kif 4388-4388
(domain representsForAgent 3 AutonomousAgent) Merge.kif 4580-4580
(domain uses 2 AutonomousAgent) Merge.kif 4781-4781
(domain WealthFn 1 AutonomousAgent) Merge.kif 7970-7970
(domain authors 1 AutonomousAgent) Merge.kif 15742-15742
(domain editor 1 AutonomousAgent) Merge.kif 15761-15761
(domain employs 1 AutonomousAgent) Merge.kif 16995-16995
(domain dateUsed 3 AutonomousAgent) Mid-level-ontology.kif 985-985
(domain discovers 1 AutonomousAgent) Mid-level-ontology.kif 3198-3198
(domain emailAddress 2 AutonomousAgent) Mid-level-ontology.kif 3635-3635
(domain fleetSize 1 AutonomousAgent) Mid-level-ontology.kif 4148-4148
(domain carries 1 AutonomousAgent) Mid-level-ontology.kif 4977-4977
(domain landlord 1 AutonomousAgent) Mid-level-ontology.kif 8204-8204
(domain tenant 1 AutonomousAgent) Mid-level-ontology.kif 8220-8220
(domain customer 2 AutonomousAgent) Mid-level-ontology.kif 9042-9042
(domain price 3 AutonomousAgent) Mid-level-ontology.kif 9059-9059
(domain hasSkillInRole 3 AutonomousAgent) Mid-level-ontology.kif 9624-9624
(domain creator 1 AutonomousAgent) Mid-level-ontology.kif 15308-15308

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?AGENT AutonomousAgent)
    (exists (?PROC)
        (capability ?PROC agent ?AGENT)))		 Merge.kif 1656-1659
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (origin ?CHANGE ?AGENT1)
        (destination ?CHANGE ?AGENT2)
        (instance ?AGENT1 AutonomousAgent)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?CHANGE ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ))))		 Merge.kif 11932-11942
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT1)
        (destination ?GIVE ?AGENT2)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?GIVE ?OBJ))
    (exists (?GET)
        (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT2)
            (origin ?GET ?AGENT1)
            (patient ?GET ?OBJ))))		 Merge.kif 11949-11961
(=>
    (instance ?A AutonomousAgent)
    (capability SocialInteraction agent ?A))		 Merge.kif 13313-13315
(=>
    (and
        (instance ?A AutonomousAgent)
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P BodyMotion)
                (instance ?P IntentionalProcess)
                (agent ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))		 Mid-level-ontology.kif 32876-32887
(=>
    (and
        (not
            (instance ?A AutonomousAgent))
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P Motion)
                (patient ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))		 Mid-level-ontology.kif 32889-32900
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))		 ComputerInput.kif 2846-2860
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (potentialCustomer ?CUST ?AGENT)
        (modalAttribute
            (and
                (instance ?R Reserving)
                (destination ?R ?AGENT)) Necessity)
        (conditionalProbability
            (exists (?RES1)
                (and
                    (instance ?RES1 Reservation)
                    (reservingEntity ?CUST ?RES1)
                    (fulfillingEntity ?AGENT ?RES1)))
            (customer ?CUST ?AGENT) ?NUM1)
        (conditionalProbability
            (not
                (exists (?RES2)
                    (and
                        (instance ?RES2 Reservation)
                        (reservingEntity ?CUST ?RES2)
                        (fulfillingEntity ?AGENT ?RES2))))
            (customer ?CUST ?AGENT) ?NUM2))
    (lessThan ?NUM2 ?NUM1))		 Dining.kif 772-795
(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))		 Economy.kif 4070-4074
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1418-1424
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1449-1456
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1663-1669
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ELECTION
            (ElectionFn ?AGENT)))
    (agent ?ELECTION ?AGENT))		 Government.kif 1671-1675
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1738-1743
(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1745-1750
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2493-2500
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR FoodRating)
        (instance ?ENTITY AutonomousAgent))
    (exists (?FOOD ?COOK ?CLASSIFY)
        (and
            (instance ?COOK Cooking)
            (agent ?COOK ?ENTITY)
            (result ?COOK ?FOOD)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))		 Hotel.kif 3080-3093
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY AutonomousAgent))
    (exists (?SVC ?CLASSIFY)
        (and
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))		 Hotel.kif 3109-3121
(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ AutonomousAgent))
    (agentName ?STRING ?OBJ))		 Media.kif 3344-3348
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 3691-3696
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR AutonomousAgent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))		 UXExperimentalTerms.kif 313-325
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 AutonomousAgent)
        (instance ?BIDDER2 AutonomousAgent)
        (instance ?ITEM Object)
        (instance ?U UnitOfCurrency)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER1 ?U) ?BIDDER1)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER2 ?U) ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))		 UXExperimentalTerms.kif 354-365
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER AutonomousAgent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))		 UXExperimentalTerms.kif 381-388
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?SITE WebSite))
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (forall (?LISTING)
                (=>
                    (and
                        (instance ?LISTING WebListing)
                        (hostedOn ?LISTING ?SITE)
                        (listingSeller ?LISTING ?AGENT))
                    (member ?LISTING ?COLL)))
            (equal
                (SellersItemsFn ?AGENT ?SITE) ?COLL))))		 UXExperimentalTerms.kif 992-1008
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))		 UXExperimentalTerms.kif 1033-1060

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
        (and
            (involvedInEvent ?INTERACTION ?AGENT1)
            (involvedInEvent ?INTERACTION ?AGENT2)
            (instance ?AGENT1 AutonomousAgent)
            (instance ?AGENT2 AutonomousAgent)
            (not
                (equal ?AGENT1 ?AGENT2)))))		 Merge.kif 13302-13311
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))		 Merge.kif 16587-16591
(=>
    (and
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (instance ?AGENT AutonomousAgent))		 Merge.kif 16988-16992
(=>
    (instance ?D Doll)
    (exists (?A)
        (and
            (instance ?A AutonomousAgent)
            (represents ?D ?A))))		 Mid-level-ontology.kif 2997-3002
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G ?M)
        (and
            (instance ?G CollectionOfObjects)
            (member ?M ?G)
            (memberType ?G AutonomousAgent))))		 Mid-level-ontology.kif 9253-9259
(=>
    (and
        (instance ?COMMENTING Commenting)
        (instance ?PROCESS Process)
        (patient ?COMMENTING ?PROCESS))
    (exists (?AGENT ?SPEAKING ?LOOKING)
        (and
            (instance ?AGENT AutonomousAgent)
            (instance ?SPEAKING Speaking)
            (instance ?LOOKING Looking)
            (agent ?SPEAKING ?AGENT)
            (agent ?LOOKING ?AGENT)
            (patient ?LOOKING ?PROCESS)
            (refers ?SPEAKING ?PROCESS))))		 Mid-level-ontology.kif 17498-17511
(=>
    (instance ?E Entering)
    (exists (?R ?A)
        (and
            (instance ?R Region)
            (destination ?E ?R)
            (agent ?E ?A)
            (instance ?A AutonomousAgent)
            (holdsDuring
                (BeginFn
                    (WhenFn ?E))
                (orientation ?A ?R Outside))
            (holdsDuring
                (EndFn
                    (WhenFn ?E))
                (orientation ?A ?R Inside)))))		 Mid-level-ontology.kif 18829-18842
(=>
    (instance ?E Exiting)
    (exists (?R ?A)
        (and
            (instance ?R Region)
            (origin ?E ?R)
            (agent ?E ?A)
            (instance ?A AutonomousAgent)
            (holdsDuring
                (BeginFn
                    (WhenFn ?E))
                (orientation ?A ?R Inside))
            (holdsDuring
                (EndFn
                    (WhenFn ?E))
                (orientation ?A ?R Outside)))))		 Mid-level-ontology.kif 18848-18861
(=>
    (instance ?A Awarding)
    (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)
        (and
            (instance ?RECIPIENT AutonomousAgent)
            (instance ?GIVER AutonomousAgent)
            (instance ?PROCESS Process)
            (instance ?AWARD Object)
            (agent ?PROCESS ?RECIPIENT)
            (agent ?A ?GIVER)
            (patient ?A ?AWARD)
            (destination ?A ?RECIPIENT)
            (causes ?PROCESS ?A))))		 Mid-level-ontology.kif 20567-20579
(=>
    (instance ?X Vandalism)
    (not
        (exists (?A)
            (and
                (instance ?A AutonomousAgent)
                (patient ?X ?A)))))		 Mid-level-ontology.kif 24418-24424
(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ AutonomousAgent))		 Mid-level-ontology.kif 25776-25780
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))		 Mid-level-ontology.kif 32529-32535
(=>
    (manner ?P Solely)
    (exists (?H)
        (and
            (involvedInEvent ?P ?H)
            (instance ?H AutonomousAgent)
            (not
                (exists (?H2)
                    (and
                        (involvedInEvent ?P ?H2)
                        (instance ?H2 AutonomousAgent)
                        (not
                            (equal ?H ?H2))))))))		 Mid-level-ontology.kif 32841-32852
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))		 Mid-level-ontology.kif 32857-32870
(=>
    (instance ?CATALOG Catalog)
    (exists (?X)
        (and
            (instance ?X AutonomousAgent)
            (offers ?X ?CATALOG))))		 Catalog.kif 36-41
(=>
    (and
        (subjectiveAttribute ?OBJ ?ATTR ?AGENT)
        (instance ?ATTR TimeAttribute))
    (instance ?OBJ AutonomousAgent))		 Dining.kif 1029-1033
(=>
    (member ?CAPITALIST Capitalism)
    (believes ?CAPITALIST
        (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY)
                (instance ?AA AutonomousAgent)
                (element ?OBJ
                    (PropertyFn ?AA))
                (not
                    (equal ?AA
                        (CitizenryFn ?COUNTRY)))))))		 Economy.kif 905-917
(=>
    (colocatedAgent ?ORG ?ATTR)
    (exists (?ORG2 ?LOC)
        (and
            (instance ?ORG2 AutonomousAgent)
            (attribute ?ORG2 ?ATTR)
            (located ?ORG ?LOC)
            (located ?ORG2 ?LOC))))		 Hotel.kif 770-777
(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (instance ?OBJ Product)))		 Media.kif 886-892
(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A AutonomousAgent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))		 Medicine.kif 68-79
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?SITE ?OWNER ?ADVERT)
        (and
            (instance ?SITE WebSite)
            (instance ?OWNER AutonomousAgent)
            (instance ?ADVERT WebListing)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (agent ?CHARGE ?OWNER))))		 UXExperimentalTerms.kif 209-218
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?ADVERT ?PROC ?OWNER)
        (and
            (instance ?ADVERT WebListing)
            (instance ?PROC ListOnSite)
            (instance ?OWNER AutonomousAgent)
            (patient ?PROC ?ADVERT)
            (causes ?PROC ?CHARGE)
            (agent ?CHARGE ?OWNER)
            (agent ?PROC ?OWNER))))		 UXExperimentalTerms.kif 220-230
(=>
    (instance ?CHARGE FinalValueFee)
    (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
        (and
            (instance ?ADVERT WebListing)
            (instance ?SELLING Selling)
            (instance ?OWNER AutonomousAgent)
            (instance ?ITEM Physical)
            (instance ?ADVERT WebListing)
            (patient ?ADVERT ?ITEM)
            (patient ?SELLING ?ITEM)
            (causes ?SELLING ?CHARGE)
            (agent ?CHARGE ?OWNER)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (eCommerceSite ?SELLING ?OWNER))))		 UXExperimentalTerms.kif 240-255
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER AutonomousAgent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))		 UXExperimentalTerms.kif 343-352
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER AutonomousAgent)
            (possesses ?SITE_OWNER ?SITE)
            (possesses ?SITE_OWNER ?DATABASE)
            (part ?ACCT ?DATABASE))))		 UXExperimentalTerms.kif 632-640

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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