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 32670-32683	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 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	If an user account is an account at a web site, then there exist an object and the web site_OWNER such that the object is an instance of database and the web site_OWNER is an instance of agent and the web site_OWNER possesses the web site and the web site_OWNER possesses the object and the user account is a part of the object
(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3527-3531	If a collection are first time buyers on a web site during a time interval 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 a collection are first time sellers on a web site during a time interval 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 the agent bids the currency measure for the object
(=>     (and         (instance ?CAPTURE Capturing)         (controlled ?CAPTURE ?OBJ))     (instance ?OBJ AutonomousAgent))	Mid-level-ontology.kif 25601-25605	If an achieving control is an instance of capture and an object comes to be physically controlled by an agent during the achieving control, 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 17352-17365	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 the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting 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 web site is an instance of web site, 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 web site 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 web site 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 new buyers at the web site during the time interval 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 web site is an instance of web site, 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 web site 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 web site 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 new sellers at the web site during the time interval 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 Search query and a process is an instance of search attempt 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 cross border trade 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 business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and business account is an attribute of the other user account
(=>     (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 business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
(=>     (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 consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account
(=>     (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 cross border trade 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 members of a collection have &ewRegisteredUsers$"registered" for a web site during a time interval 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 an agent believes an entity is an attribute and the attribute is an instance of time attribute, 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 open layout 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 an identifier is the ID of a web browser when accessing a web site, then there exist a symbolic string, a process,, , an agent and a computer process such that the symbolic string is an instance of web page and the symbolic string is a sub-string of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is a program running of the computer process and the computer process 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 a a relational attribute organization is located at an agent, 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 an experimenting causes 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 the human is a treated used in the experimenting and the other process is a process in the experimenting 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