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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutonomousAgent
AutonomousAgent(agent)

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


(documentation AutonomousAgent ChineseLanguage "能够自主行动、并对世界作出改变的人和物。") chinese_format.kif 1683-1683
(documentation AutonomousAgent EnglishLanguage "Something or someone that can act on its own and produce changes in the world.") Merge.kif 1553-1554
(subclass AutonomousAgent Object) Merge.kif 1551-1551 Agent is a subclass of object

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


(disjoint Furniture AutonomousAgent) Mid-level-ontology.kif 4176-4176 Furniture is disjoint from agent
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 7667-7667 The range of street address is an instance of agent
(subclass AutonomousMobileRobot AutonomousAgent) engineering.kif 953-953 Autonomous mobile robot is a subclass of agent
(subclass CommercialAgent AutonomousAgent) Merge.kif 16333-16333 Commercial agent is a subclass of agent
(subclass Employer AutonomousAgent) Economy.kif 1472-1472 Employer is a subclass of agent
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14192-14192 Geopolitical area is a subclass of agent
(subclass Group AutonomousAgent) Merge.kif 16384-16384 Group is a subclass of agent
(subclass ITAgent AutonomousAgent) engineering.kif 1619-1619 IT agent is a subclass of agent
(subclass Organism AutonomousAgent) Merge.kif 14493-14493 Organism is a subclass of agent
(subclass Organization AutonomousAgent) Merge.kif 16770-16770 Organization is a subclass of agent
(subclass SentientAgent AutonomousAgent) Merge.kif 1561-1561 Sentient agent is a subclass of agent
(termFormat ChineseLanguage AutonomousAgent "施事体") chinese_format.kif 848-848 Sentient agent is a subclass of agent
(termFormat EnglishLanguage AutonomousAgent " Autonomous agent") domainEnglishFormat.kif 64519-64519 Sentient agent is a subclass of agent
(termFormat EnglishLanguage AutonomousAgent "agent") english_format.kif 898-898 Sentient agent is a subclass of agent

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


(domain AbortedFn 1 AutonomousAgent) MilitaryProcesses.kif 2411-2411 The number 1 argument of aborted is an instance of agent
(domain AbortedLaunchFn 1 AutonomousAgent) MilitaryProcesses.kif 2510-2510 The number 1 argument of aborted launch is an instance of agent
(domain AbortedMissionFn 1 AutonomousAgent) MilitaryProcesses.kif 2431-2431 The number 1 argument of aborted mission is an instance of agent
(domain ElectionFn 1 AutonomousAgent) Government.kif 1647-1647 The number 1 argument of election is an instance of agent
(domain ExecutiveBranchFn 1 AutonomousAgent) Government.kif 1283-1283 The number 1 argument of executive branch is an instance of agent
(domain FiscalYearFn 1 AutonomousAgent) Economy.kif 4034-4034 The number 1 argument of fiscal year is an instance of agent
(domain FiscalYearStartingFn 1 AutonomousAgent) Economy.kif 4060-4060 The number 1 argument of fiscal year starting is an instance of agent
(domain PropertyFn 1 AutonomousAgent) Merge.kif 4287-4287 The number 1 argument of property is an instance of agent
(domain SellersItemsFn 1 AutonomousAgent) UXExperimentalTerms.kif 981-981 The number 1 argument of sellers items is an instance of agent
(domain SellersOtherItemsFn 1 AutonomousAgent) UXExperimentalTerms.kif 1016-1016 The number 1 argument of sellers other items is an instance of agent
(domain WealthFn 1 AutonomousAgent) Merge.kif 7862-7862 The number 1 argument of wealth is an instance of agent
(domain achievement 2 AutonomousAgent) ComputingBrands.kif 1660-1660 The number 2 argument of achievement is an instance of agent
(domain activityCapability 1 AutonomousAgent) Hotel.kif 600-600 The number 1 argument of activity capability is an instance of agent
(domain agent 2 AutonomousAgent) Merge.kif 2430-2430 The number 2 argument of agent is an instance of agent
(domain agentName 2 AutonomousAgent) Media.kif 3407-3407 The number 2 argument of agent name is an instance of agent
(domain agentOperatesInArea 1 AutonomousAgent) Government.kif 2196-2196 The number 1 argument of agent operates in area is an instance of agent
(domain alias 2 AutonomousAgent) Mid-level-ontology.kif 24868-24868 The number 2 argument of alias is an instance of agent
(domain allied 1 AutonomousAgent) MilitaryProcesses.kif 2463-2463 The number 1 argument of allied is an instance of agent
(domain allied 2 AutonomousAgent) MilitaryProcesses.kif 2464-2464 The number 2 argument of allied is an instance of agent
(domain appointedPosition 2 AutonomousAgent) Biography.kif 155-155 The number 2 argument of appointed position is an instance of agent
(domain areaOfResponsibility 1 AutonomousAgent) Mid-level-ontology.kif 24588-24588 The number 1 argument of area of responsibility is an instance of agent
(domain arrested 2 AutonomousAgent) Mid-level-ontology.kif 25139-25139 The number 2 argument of arrested is an instance of agent
(domain arrestingOfficer 2 AutonomousAgent) Law.kif 230-230 The number 2 argument of arresting officer is an instance of agent
(domain askPrice 3 AutonomousAgent) FinancialOntology.kif 1945-1945 The number 3 argument of ask price is an instance of agent
(domain associateInOrganization 1 AutonomousAgent) Government.kif 2385-2385 The number 1 argument of associate in organization is an instance of agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1736-1741
(=>
    (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 31919-31930
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ELECTION
            (ElectionFn ?AGENT)))
    (agent ?ELECTION ?AGENT))		 Government.kif 1662-1666
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1729-1734
(=>
    (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 ?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 ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1654-1660
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?USER AutonomousAgent)
        (instance ?OBJ Object)
        (agent ?ATC ?USER)
        (patient ?ATC ?OBJ))
    (desires ?USER
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))		 UXExperimentalTerms.kif 1312-1324
(=>
    (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 ?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 11791-11801
(=>
    (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
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4357-4374
(=>
    (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 11808-11820
(=>
    (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 ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2462-2469
(=>
    (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 ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1409-1415
(=>
    (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 2830-2844
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1440-1447
(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))		 Economy.kif 4075-4079
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT AutonomousAgent)
        (agent ?PROCESS ?AGENT)
        (agent ?ACCESSING ?AGENT)
        (during ?PROCESS ?ACCESSING)
        (instance ?TIMETOFIRST TimeInterval)
        (not
            (exists (?PROCESS2)
                (and
                    (instance ?PROCESS2 ?PROCESS_CLASS)
                    (agent ?PROCESS2 ?AGENT)
                    (during ?PROCESS2 ?ACCESSING)
                    (before
                        (BeginFn
                            (WhenFn ?PROCESS2))
                        (BeginFn
                            (WhenFn ?PROCESS))))))
        (equal
            (BeginFn
                (WhenFn ?ACCESSING))
            (BeginFn
                (WhenFn ?TIMETOFIRST)))
        (equal
            (BeginFn
                (WhenFn ?PROCESS))
            (EndFn
                (WhenFn ?TIMETOFIRST))))
    (equal
        (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))		 UXExperimentalTerms.kif 1496-1518
(=>
    (and
        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                    (=>
                        (and
                            (instance ?BUYER AutonomousAgent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
    (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE ?PURCHASES)
                        (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))		 UXExperimentalTerms.kif 2956-2983
(=>
    (and
        (instance ?REQUEST ViewItemRequest)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE ViewItemPage)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING Advertising)
        (subProcess ?ACCESSING ?REQUEST)
        (component ?PAGE ?LISTING)
        (destination ?ACCESSING ?PAGE)
        (agent ?ACCESSING ?AGENT))
    (viewedListing ?AGENT ?LISTING))		 UXExperimentalTerms.kif 1570-1581
(=>
    (and
        (instance ?SALES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?SALES)
                (instance ?MEMBER Selling)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?SELLER ?SELLING)
                    (=>
                        (and
                            (instance ?SELLER AutonomousAgent)
                            (instance ?SELLING Buying)
                            (member ?SELLING ?SALES)
                            (agent ?SELLING ?SELLER))
                        (located ?SELLER ?REGION))))))
    (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (and
                        (instance ?SALE Selling)
                        (member ?SALE ?SALES)
                        (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
            (equal
                (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))		 UXExperimentalTerms.kif 2999-3026
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3851-3862

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (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 31900-31913 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(=>
    (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
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))		 UXExperimentalTerms.kif 3528-3532
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))		 UXExperimentalTerms.kif 3576-3580
(=>
    (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
(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ AutonomousAgent))		 Mid-level-ontology.kif 25118-25122
(=>
    (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 17294-17307
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4357-4374
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))		 Merge.kif 16388-16392
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))		 UXExperimentalTerms.kif 3376-3408
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))		 UXExperimentalTerms.kif 3475-3507
(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (instance ?OBJ Product)))		 Media.kif 895-901
(=>
    (and
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (instance ?AGENT AutonomousAgent))		 Merge.kif 16791-16795
(=>
    (and
        (instance ?QUERY SearchQuery)
        (instance ?SEARCHATTEMPT SearchAttempt)
        (represents ?QUERY ?SEARCHATTEMPT))
    (exists (?AGENT ?OBJ)
        (and
            (instance ?AGENT AutonomousAgent)
            (patient ?SEARCHATTEMPT ?OBJ)
            (agent ?SEARCHATTEMPT ?AGENT))))		 UXExperimentalTerms.kif 2426-2435
(=>
    (and
        (instance ?TRANS Buying)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER AutonomousAgent)
            (instance ?SELLER AutonomousAgent)
            (agent ?TRANS ?BUYER)
            (origin ?TRANS ?SELLER)
            (instance ?BUYER_LOCATION GeopoliticalArea)
            (instance ?SELLER_LOCATION GeopoliticalArea)
            (located ?SELLER ?SELLER_LOCATION)
            (located ?BUYER ?BUYER_LOCATION)
            (not
                (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))		 UXExperimentalTerms.kif 1841-1858
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))		 UXExperimentalTerms.kif 1727-1746
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1759-1778
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1791-1810
(=>
    (and
        (instance ?TRANS Selling)
        (attribute ?TRANS CBT)
        (patient ?TRANS ?OBJ)
        (instance ?OBJ Object))
    (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
        (and
            (instance ?BUYER AutonomousAgent)
            (instance ?SELLER AutonomousAgent)
            (destination ?TRANS ?BUYER)
            (agent ?TRANS ?SELLER)
            (instance ?BUYER_LOCATION GeopoliticalArea)
            (instance ?SELLER_LOCATION GeopoliticalArea)
            (located ?SELLER ?SELLER_LOCATION)
            (located ?BUYER ?BUYER_LOCATION)
            (not
                (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))		 UXExperimentalTerms.kif 1822-1839
(=>
    (and
        (newRegisteredUsers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))		 UXExperimentalTerms.kif 3623-3627
(=>
    (and
        (subjectiveAttribute ?OBJ ?ATTR ?AGENT)
        (instance ?ATTR TimeAttribute))
    (instance ?OBJ AutonomousAgent))		 Dining.kif 1026-1030
(=>
    (attribute ?ROOM OpenLayout)
    (and
        (instance ?ROOM Room)
        (exists (?R1 ?R2 ?H)
            (and
                (instance ?R1 Region)
                (instance ?R2 Region)
                (located ?R1 ?ROOM)
                (located ?R2 ?ROOM)
                (not
                    (equal ?R1 ?R2))
                (orientation ?R1 ?R2 Adjacent)
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Process)
                        (instance ?P2 Process)
                        (hasPurpose ?R1 ?P1)
                        (hasPurpose ?R2 ?P2)))
                (=>
                    (and
                        (instance ?H AutonomousAgent)
                        (located ?H ?R2))
                    (and
                        (capability Seeing agent ?H)
                        (capability Seeing patient ?R1)))))))		 Dining.kif 956-980
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
        (and
            (instance ?WEBPAGE WebPage)
            (subString ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (programRunning ?BPROC ?BROWSER)
            (causes ?BPROC ?ACCESSING)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))		 UXExperimentalTerms.kif 736-748
(=>
    (colocatedAgent ?ORG ?ATTR)
    (exists (?ORG2 ?LOC)
        (and
            (instance ?ORG2 AutonomousAgent)
            (attribute ?ORG2 ?ATTR)
            (located ?ORG ?LOC)
            (located ?ORG2 ?LOC))))		 Hotel.kif 770-777
(=>
    (exclusiveEvent ?EXP ?PROC)
    (exists (?EVP ?AGENT)
        (and
            (instance ?EVP Process)
            (instance ?AGENT AutonomousAgent)
            (treatedUser ?AGENT ?EXP)
            (experimentalVariableProcess ?EXP ?EVP)
            (experiencer ?PROC ?AGENT)
            (experiencer ?EVP ?AGENT)
            (earlier
                (WhenFn ?EVP)
                (WhenFn ?PROC)))))		 UXExperimentalTerms.kif 4345-4355

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 is open source software produced by Articulate Software and its partners