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 32127-32140	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 equal the entity and 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 involvedInEvent the process and the entity and involvedInEvent the process and the entity2
(=>     (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	If accountAtSite an UserAccount and a WebSite, then there exist an object and the WebSite_OWNER such that the object is an instance of Database and the WebSite_OWNER is an instance of agent and the WebSite_OWNER possesses the WebSite and the WebSite_OWNER possesses the object and the UserAccount is a part of the object
(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3527-3531	If firstTimeBuyers a time interval, a WebSite and a collection and a physical is a member of the collection, then the physical is an instance of agent
(=>     (and         (firstTimeSellers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3575-3579	If firstTimeSellers a time interval, a WebSite and a collection and a physical is a member of the collection, then the physical is an instance of agent
(=>     (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	If a process is an instance of Auctioning and an object is an instance of object and the object is a patient of the process, then there exist an agent and a currency measure such that the agent is an instance of agent and the currency measure is an instance of currency measure and bidPrice the object, the currency measure and the agent
(=>     (and         (instance ?CAPTURE Capturing)         (controlled ?CAPTURE ?OBJ))     (instance ?OBJ AutonomousAgent))	Mid-level-ontology.kif 25090-25094	If an AchievingControl is an instance of Capturing and an object comes to be physically controlled by an agent during the AchievingControl, then the object is an instance of agent
(=>     (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 17263-17276	If a process is an instance of Commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of Speaking and the third process is an instance of Looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
(=>     (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 4356-4373	If a process is an instance of process and a human is an instance of agent and an Experimenting is an instance of Experimenting and treatedUser the human and the Experimenting and experimentalVariableProcess the Experimenting and the process and the human experiences another process and the human experiences the process and exclusiveEvent the Experimenting and the other process, then there exists the ExperimentingERIMENTER such that the ExperimentingERIMENTER is an instance of agent and experimenter the Experimenting and the ExperimentingERIMENTER and the ExperimentingERIMENTER believes the statement the process causes the other process has the modal force of Likely
(=>     (and         (instance ?GROUP Group)         (member ?MEMB ?GROUP))     (instance ?MEMB AutonomousAgent))	Merge.kif 16425-16429	If a collection is an instance of group and a physical is a member of the collection, then the physical is an instance of agent
(=>     (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 3375-3407	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and equal SiteWideNewBuyersFn the time interval and the WebSite and the collection
(=>     (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 3474-3506	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and equal SiteWideNewSellersFn the time interval and the WebSite and the collection
(=>     (and         (instance ?LOGO Logo)         (represents ?LOGO ?OBJ))     (or         (instance ?OBJ AutonomousAgent)         (instance ?OBJ Product)))	Media.kif 895-901	If an entity is an instance of Logo and the entity expresses another entity, then the other entity is an instance of agent or the other entity is an instance of product
(=>     (and         (instance ?ORG Organization)         (member ?AGENT ?ORG))     (instance ?AGENT AutonomousAgent))	Merge.kif 16828-16832	If a collection is an instance of organization and a physical is a member of the collection, then the physical is an instance of agent
(=>     (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	If an entity is an instance of SearchQuery and a process is an instance of SearchAttempt and the entity expresses the process, then there exist an agent and another entity such that the agent is an instance of agent and the other entity is a patient of the process and the agent is an agent of the process
(=>     (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	If an object is an instance of buying and CBT is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of geopolitical area and the other object_LOCATION is an instance of geopolitical area and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and equal the agent_LOCATION and the other object_LOCATION
(=>     (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	If an object is an instance of financial transaction and BusinessToBusiness is an attribute of the object, then there exist an UserAccount, another UserAccount,, , an agent,, , another agent and a WebSite such that the UserAccount is an instance of UserAccount and the other UserAccount is an instance of UserAccount and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and hasAccount the agent and the UserAccount and hasAccount the other agent and the other UserAccount and accountAtSite the UserAccount and the WebSite and accountAtSite the other UserAccount and the WebSite and BusinessAccount is an attribute of the UserAccount and BusinessAccount is an attribute of the other UserAccount
(=>     (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	If an object is an instance of financial transaction and BusinessToConsumer is an attribute of the object, then there exist an UserAccount, another UserAccount,, , an agent,, , another agent and a WebSite such that the UserAccount is an instance of UserAccount and the other UserAccount is an instance of UserAccount and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and hasAccount the agent and the UserAccount and hasAccount the other agent and the other UserAccount and accountAtSite the UserAccount and the WebSite and accountAtSite the other UserAccount and the WebSite and BusinessAccount is an attribute of the UserAccount and ConsumerAccount is an attribute of the other UserAccount
(=>     (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	If an object is an instance of financial transaction and ConsumerToConsumer is an attribute of the object, then there exist an UserAccount, another UserAccount,, , an agent,, , another agent and a WebSite such that the UserAccount is an instance of UserAccount and the other UserAccount is an instance of UserAccount and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and hasAccount the agent and the UserAccount and hasAccount the other agent and the other UserAccount and accountAtSite the UserAccount and the WebSite and accountAtSite the other UserAccount and the WebSite and ConsumerAccount is an attribute of the UserAccount and ConsumerAccount is an attribute of the other UserAccount
(=>     (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	If an object is an instance of selling and CBT is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist an agent, a physical,, , the physical_LOCATION and the agent_LOCATION such that the physical is an instance of agent and the agent is an instance of agent and the object ends up at the physical and the agent is an agent of the object and the physical_LOCATION is an instance of geopolitical area and the agent_LOCATION is an instance of geopolitical area and the agent is located at the agent_LOCATION and the physical is located at the physical_LOCATION and equal the physical_LOCATION and the agent_LOCATION
(=>     (and         (newRegisteredUsers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3622-3626	If newRegisteredUsers a time interval, a WebSite and a collection and a physical is a member of the collection, then the physical is an instance of agent
(=>     (and         (subjectiveAttribute ?OBJ ?ATTR ?AGENT)         (instance ?ATTR TimeAttribute))     (instance ?OBJ AutonomousAgent))	Dining.kif 1026-1030	If subjectiveAttribute an entity, an attribute and an agent and the attribute is an instance of TimeAttribute, then the entity is an instance of agent
(=>     (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	If OpenLayout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and equal the other object and the third object and the other object is Adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
(=>     (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	If browserID an Identifier, a WebBrowser and a WebSite, then there exist a symbolic string, a process,, , an agent and a ComputerProcess such that the symbolic string is an instance of WebPage and subString the symbolic string and the WebSite and the process is an instance of AccessingWebPage and the agent is an instance of agent and the agent is an agent of the process and programRunning the ComputerProcess and the WebBrowser and the ComputerProcess causes the process and the process ends up at the symbolic string and the Identifier expresses the agent
(=>     (colocatedAgent ?ORG ?ATTR)     (exists (?ORG2 ?LOC)         (and             (instance ?ORG2 AutonomousAgent)             (attribute ?ORG2 ?ATTR)             (located ?ORG ?LOC)             (located ?ORG2 ?LOC))))	Hotel.kif 770-777	If colocatedAgent an agent and a relational attribute, then there exist the agent2 and another object such that the agent2 is an instance of agent and the relational attribute is an attribute of the agent2 and the agent is located at the other object and the agent2 is located at the other object
(=>     (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 4344-4354	If exclusiveEvent an Experimenting and a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and treatedUser the human and the Experimenting and experimentalVariableProcess the Experimenting and the other process and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
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