TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__Agent,s__ChineseLanguage,'"能够自主行动、并对世界作出改变的人和物。"')

chinese_format.kif 1683-1683

s__documentation(s__Agent,s__EnglishLanguage,'"Something or someone that can act on its own and produce changes in the world."')

Merge.kif 1440-1441

s__instance(s__Agent,s__SetOrClass)

s__instance(s__Object,s__SetOrClass)

s__subclass(s__Agent,s__Object)

Merge.kif 1438-1438

Agent is a subclass of object

appearance as argument number 2

s__disjoint(s__Furniture,s__Agent)	Mid-level-ontology.kif 3647-3647	Furniture is disjoint from agent
s__range(s__StreetAddressFn__m,s__Agent)	Mid-level-ontology.kif 6197-6197	The range of street address is an instance of agent
s__instance(s__Agent,s__SetOrClass) s__instance(s__CommercialAgent,s__SetOrClass) s__subclass(s__CommercialAgent,s__Agent)	Merge.kif 15397-15397	Commercial agent is a subclass of agent
s__instance(s__GeopoliticalArea,s__SetOrClass) s__instance(s__Agent,s__SetOrClass) s__subclass(s__GeopoliticalArea,s__Agent)	Merge.kif 13383-13383	Geopolitical area is a subclass of agent
s__instance(s__Group,s__SetOrClass) s__subclass(s__Group,s__Agent) s__instance(s__Agent,s__SetOrClass)	Merge.kif 15448-15448	Group is a subclass of agent
s__instance(s__Agent,s__SetOrClass) s__subclass(s__ITAgent,s__Agent) s__instance(s__ITAgent,s__SetOrClass)	engineering.kif 1304-1304	IT agent is a subclass of agent
s__instance(s__Agent,s__SetOrClass) s__subclass(s__LegalAgent,s__Agent) s__instance(s__LegalAgent,s__SetOrClass)	Merge.kif 1494-1494	LegalAgent is a subclass of agent
s__subclass(s__Organism,s__Agent) s__instance(s__Agent,s__SetOrClass) s__instance(s__Organism,s__SetOrClass)	Merge.kif 13670-13670	Organism is a subclass of agent
s__instance(s__Agent,s__SetOrClass) s__subclass(s__Organization,s__Agent) s__instance(s__Organization,s__SetOrClass)	Merge.kif 15834-15834	Organization is a subclass of agent
s__instance(s__SentientAgent,s__SetOrClass) s__instance(s__Agent,s__SetOrClass) s__subclass(s__SentientAgent,s__Agent)	Merge.kif 1448-1448	Sentient agent is a subclass of agent
s__termFormat(s__ChineseLanguage,s__Agent,'"施事体"')	chinese_format.kif 848-848
s__termFormat(s__EnglishLanguage,s__Agent,'"agent"')	english_format.kif 903-903

appearance as argument number 3

s__domain(s__AbortedFn__m,n__1,s__Agent)	MilitaryProcesses.kif 2391-2391	The number 1 argument of aborted is an instance of agent
s__domain(s__ElectionFn__m,n__1,s__Agent)	Government.kif 1671-1671	The number 1 argument of election is an instance of agent
s__domain(s__ExecutiveBranchFn__m,n__1,s__Agent)	Government.kif 1307-1307	The number 1 argument of executive branch is an instance of agent
s__domain(s__FiscalYearFn__m,n__1,s__Agent)	Economy.kif 3700-3700	The number 1 argument of fiscal year is an instance of agent
s__domain(s__FiscalYearStartingFn__m,n__1,s__Agent)	Economy.kif 3725-3725	The number 1 argument of fiscal year starting is an instance of agent
s__domain(s__PropertyFn__m,n__1,s__Agent)	Merge.kif 4129-4129	The number 1 argument of property is an instance of agent
s__domain(s__SellersItemsFn__m,n__1,s__Agent)	UXExperimentalTerms.kif 1178-1178	The number 1 argument of sellers items is an instance of agent
s__domain(s__SellersOtherItemsFn__m,n__1,s__Agent)	UXExperimentalTerms.kif 1213-1213	The number 1 argument of sellers other items is an instance of agent
s__domain(s__WealthFn__m,n__1,s__Agent)	Merge.kif 7537-7537	The number 1 argument of wealth is an instance of agent
s__domain(s__achievement__m,n__2,s__Agent)	ComputingBrands.kif 1629-1629	The number 2 argument of achievement is an instance of agent
s__domain(s__activityCapability__m,n__1,s__Agent)	Hotel.kif 575-575	The number 1 argument of activity capability is an instance of agent
s__domain(s__agent__m,n__2,s__Agent)	Merge.kif 2342-2342	The number 2 argument of agent is an instance of agent
s__domain(s__agentName__m,n__2,s__Agent)	Media.kif 3393-3393	The number 2 argument of agentName is an instance of agent
s__domain(s__agentOperatesInArea__m,n__1,s__Agent)	Government.kif 2221-2221	The number 1 argument of agent operates in area is an instance of agent
s__domain(s__alias__m,n__2,s__Agent)	Mid-level-ontology.kif 21680-21680	The number 2 argument of alias is an instance of agent
s__domain(s__areaOfResponsibility__m,n__1,s__Agent)	Mid-level-ontology.kif 21400-21400	The number 1 argument of area of responsibility is an instance of agent
s__domain(s__arrested__m,n__2,s__Agent)	Mid-level-ontology.kif 21951-21951	The number 2 argument of arrested is an instance of agent
s__domain(s__askPrice__m,n__3,s__Agent)	FinancialOntology.kif 1877-1877	The number 3 argument of ask price is an instance of agent
s__domain(s__associateInOrganization__m,n__1,s__Agent)	Government.kif 2397-2397	The number 1 argument of associate in organization is an instance of agent
s__domain(s__associateWithStatus__m,n__1,s__Agent)	Government.kif 2408-2408	The number 1 argument of associate with status is an instance of agent
s__domain(s__attitudeForFormula__m,n__2,s__Agent)	emotion.kif 2037-2037	The number 2 argument of attitudeForFormula is an instance of agent
s__domain(s__attitudeForObject__m,n__2,s__Agent)	emotion.kif 2030-2030	The number 2 argument of attitudeForObject is an instance of agent
s__domain(s__authors__m,n__1,s__Agent)	Merge.kif 14685-14685	The number 1 argument of authors is an instance of agent
s__domain(s__benefits__m,n__2,s__Agent)	Mid-level-ontology.kif 21385-21385	The number 2 argument of benefits is an instance of agent
s__domain(s__bidPrice__m,n__3,s__Agent)	FinancialOntology.kif 1857-1857	The number 3 argument of bid price is an instance of agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__AGENT,V__ORG] : (((s__attribute(V__AGENT,s__MemberFn(V__ORG)) & s__instance(V__AGENT,s__Agent) & s__instance(V__ORG,s__Organization)) => (s__member(V__AGENT,V__ORG))) ) )	Government.kif 1760-1765	If the member of an organization is an attribute of an object and the object is an instance of agent and the organization is an instance of organization, then the object is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28657-28668	If an agent is an instance of agent and Motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
( ! [V__AGENT,V__ELECTION] : ((s__instance(V__ELECTION,s__Process) => (((s__instance(V__AGENT,s__Agent) & s__instance(V__ELECTION,s__ElectionFn(V__AGENT))) => (s__agent(V__ELECTION,V__AGENT))))) ) )	Government.kif 1686-1690	If an agent is an instance of agent and a process is an instance of the election of the agent, then the agent is an agent of the process
( ! [V__AGENT,V__ORG] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__ORG,s__Organization) & s__member(V__AGENT,V__ORG)) => (s__attribute(V__AGENT,s__MemberFn(V__ORG)))) ) )	Government.kif 1753-1758	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
( ! [V__AGENT,V__SITE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__SITE,s__WebSite)) => (( ? [V__COLL] : ((s__instance(V__COLL,s__Collection) & ( ! [V__LISTING] : (((s__instance(V__LISTING,s__WebListing) & s__hostedOn(V__LISTING,V__SITE) & s__listingSeller(V__LISTING,V__AGENT)) => (s__member(V__LISTING,V__COLL))))) & (s__SellersItemsFn(V__AGENT,V__SITE) = V__COLL)))))) ) )	UXExperimentalTerms.kif 1189-1205	If an agent is an instance of agent 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 a web listing if the web listing is an instance of web listing and the web listing is hosted on the WebSite and the agent sells the web listing, then the web listing is a member of the collection and items for sale by the agent at the WebSite is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 725-748	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
( ! [V__AGENT] : (((s__instance(V__AGENT,s__Agent) & s__subclass(s__ElectionFn(V__AGENT) ,s__Election)) => ((s__instance(V__AGENT,s__Organization) \| s__instance(V__AGENT,s__GeopoliticalArea)))) ) )	Government.kif 1678-1684	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1509-1521	If a process is an instance of add to cart and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity
( ! [V__OFFER1,V__U,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] : (((s__instance(V__OFFER1,s__RealNumber) & s__instance(V__OFFER2,s__RealNumber)) => (((s__instance(V__AUCTIONING,s__Auctioning) & s__instance(V__BIDDER1,s__Agent) & s__instance(V__BIDDER2,s__Agent) & s__instance(V__ITEM,s__Object) & s__instance(V__U,s__UnitOfCurrency) & s__patient(V__AUCTIONING,V__ITEM) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U) ,V__BIDDER1) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U) ,V__BIDDER2) & s__greaterThan(V__OFFER1,V__OFFER2)) => (s__destination(V__AUCTIONING,V__BIDDER1))))) ) )	UXExperimentalTerms.kif 437-448	If a process is an instance of auction and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and an unit of measure is an instance of UnitOfCurrency and the object is a patient of the process and the agent bids a real number the unit of measure(s) for the object and the other agent bids another real number the unit of measure(s) for the object and the real number is greater than the other real number, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11129-11139	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] : (((s__instance(V__COLL,s__Collection) & s__instance(V__SITE,s__WebSite) & s__instance(V__AGENT,s__Agent) & s__instance(V__LISTING,s__WebListing) & s__instance(V__TIME,s__TimePoint) & s__listingSeller(V__LISTING,V__AGENT) & ~(s__member(V__LISTING,V__COLL)) & ( ! [V__ITEM, V__MEMBER] : ((((s__instance(V__ITEM,s__WebListing) & s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) & s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & ~((V__ITEM = V__LISTING))) => (s__member(V__ITEM,V__COLL))) & (s__member(V__MEMBER,V__COLL) => ((s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & s__instance(V__MEMBER,s__WebListing)))))))) => ((s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) = V__COLL))) ) )	UXExperimentalTerms.kif 1230-1257	If a collection is an instance of collection and a WebSite is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all a physical and another physical if the physical is an instance of web listing and the physical is a member of items for sale by the agent at the WebSite and the time point is a part of the time of existence of the physical and the physical is not equal to the web listing, then the physical is a member of the collection and if the other physical is a member of the collection, then the time point is a part of the time of existence of the physical and the other physical is an instance of web listing , then things for sale by the agent not listed in the web listing at the WebSite during the time point is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4561-4578	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
( ! [V__AGENT2,V__OBJ,V__AGENT1,V__GIVE] : ((s__instance(V__AGENT1,s__Agent) => (((s__instance(V__GIVE,s__Giving) & s__agent(V__GIVE,V__AGENT1) & s__destination(V__GIVE,V__AGENT2) & s__instance(V__AGENT2,s__Agent) & s__patient(V__GIVE,V__OBJ)) => (( ? [V__GET] : ((s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT2) & s__origin(V__GET,V__AGENT1) & s__patient(V__GET,V__OBJ)))))))) ) )	Merge.kif 11146-11158	If a process is an instance of giving and an agent is an agent of the process and the process ends up at another agent and the other agent is an instance of agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of getting and the other agent is an agent of the other process and the other process originates at the agent and the entity is a patient of the other process
( ! [V__OWNER,V__ITEM,V__LISTING] : (((s__instance(V__ITEM,s__Object) & s__instance(V__LISTING,s__WebListing) & s__instance(V__OWNER,s__Agent) & s__attribute(V__LISTING,s__ForSaleByOwner) & s__possesses(V__OWNER,V__ITEM)) => (s__instance(V__OWNER,s__Human))) ) )	UXExperimentalTerms.kif 472-479	If an object is an instance of object and another object is an instance of web listing and an agent is an instance of agent and FSBO is an attribute of the other object and the agent possesses the object, then the agent is an instance of human
( ! [V__AGENT,V__JOIN,V__ORG] : ((s__instance(V__ORG,s__Collection) => (((s__instance(V__JOIN,s__JoiningAnOrganization) & s__instance(V__AGENT,s__Agent) & s__agent(V__JOIN,V__AGENT) & s__patient(V__JOIN,V__ORG) & s__instance(V__JOIN,s__Organization)) => (s__member(V__AGENT,V__ORG))))) ) )	Government.kif 2474-2481	If a process is an instance of joining an organization and an agent is an instance of agent and the agent is an agent of the process and a collection is a patient of the process and the process is an instance of organization, then the agent is a member of the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-405	If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object, then the cognitive agent desires there exists an entity such that the entity is an instance of auction and the process is a patient of the entity
( ! [V__ORG,V__PERSON,V__ROLE] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__ORG,s__Agent) & s__leader(V__ORG,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => (s__leaderPosition(V__ORG,V__ROLE))))) ) )	Government.kif 1433-1439	If an organization is an instance of agent and a human is a leader of the organization and a position is an instance of position and the human holds the position of the position in the organization, then the position is a leader position of the organization
( ! [V__ORG,V__PERSON,V__ROLE] : (((s__instance(V__PERSON,s__Human) & s__instance(V__ROLE,s__Position) & s__instance(V__ORG,s__Agent) & s__leaderPosition(V__ORG,V__ROLE) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => (s__leader(V__ORG,V__PERSON))) ) )	Government.kif 1464-1471	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization
( ! [V__PLACE,V__YEAR] : ((s__subclass(V__YEAR,s__Year) => (((s__instance(V__PLACE,s__Agent) & s__instance(V__YEAR,s__Year)) => (s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR) ,s__FiscalYearFn(V__PLACE)))))) ) )	Economy.kif 3739-3743	If an agent is an instance of agent and a kind of year is an instance of year, then the fiscal year starting of the agent and a kind of year is an instance of the fiscal year of the agent
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] : (((s__instance(V__PROCESS,s__TimeInterval) & s__instance(V__PROCESS,s__Process) & s__instance(V__PROCESS_CLASS,s__Class)) => (((s__instance(V__PROCESS,V__PROCESS_CLASS) & s__subclass(V__PROCESS_CLASS,s__Process) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__AGENT,s__Agent) & s__agent(V__PROCESS,V__AGENT) & s__agent(V__ACCESSING,V__AGENT) & s__during(V__PROCESS,V__ACCESSING) & s__instance(V__TIMETOFIRST,s__TimeInterval) & ~(( ? [V__PROCESS2] : ((s__instance(V__PROCESS2,s__TimeInterval) & s__instance(V__PROCESS2,s__Process) & (s__instance(V__PROCESS2,V__PROCESS_CLASS) & s__agent(V__PROCESS2,V__AGENT) & s__during(V__PROCESS2,V__ACCESSING) & s__before(s__BeginFn(s__WhenFn(V__PROCESS2)) ,s__BeginFn(s__WhenFn(V__PROCESS)))))))) & (s__BeginFn(s__WhenFn(V__ACCESSING)) = s__BeginFn(s__WhenFn(V__TIMETOFIRST))) & (s__BeginFn(s__WhenFn(V__PROCESS)) = s__EndFn(s__WhenFn(V__TIMETOFIRST)))) => ((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING) = V__TIMETOFIRST))))) ) )	UXExperimentalTerms.kif 1703-1725	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the AccessingWebPage is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the AccessingWebPage in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3163-3189	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the value of the collection is equal to the entity_PURCHASE_AMOUNT
( ! [V__AGENT,V__PAGE,V__REQUEST,V__ACCESSING,V__LISTING] : (((s__instance(V__REQUEST,s__ViewItemRequest) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__AGENT,s__Agent) & s__instance(V__LISTING,s__Advertising) & s__subProcess(V__ACCESSING,V__REQUEST) & s__component(V__PAGE,V__LISTING) & s__destination(V__ACCESSING,V__PAGE) & s__agent(V__ACCESSING,V__AGENT)) => (s__viewedListing(V__AGENT,V__LISTING))) ) )	UXExperimentalTerms.kif 1777-1788	If a process is an instance of view item request and another process is an instance of AccessingWebPage and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3206-3232	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then the total of values in the class described by a symbolic string is an entity_SALE_AMOUNT and the value of the collection is equal to the entity_SALE_AMOUNT
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] : (((s__instance(V__VARIABLE,s__Process) & s__instance(V__EXPERIMENT,s__Experimenting) & s__instance(V__AGENT,s__Agent) & s__experiencer(V__AGENT,s__Agent) & s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE)) => (( ? [V__CONTROL_GROUP] : ((s__instance(V__CONTROL_GROUP,s__Collection) & s__member(V__AGENT,V__CONTROL_GROUP) & s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT)))))) ) )	UXExperimentalTerms.kif 4058-4069	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] : (((s__instance(V__VARIABLE,s__Process) & s__instance(V__EXPERIMENT,s__Experimenting) & s__instance(V__AGENT,s__Agent) & s__experiencer(V__AGENT,s__Agent) & s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE)) => (( ? [V__TREATMENT_GROUP] : ((s__instance(V__TREATMENT_GROUP,s__Collection) & s__member(V__AGENT,V__TREATMENT_GROUP) & s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT)))))) ) )	UXExperimentalTerms.kif 4175-4186	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28638-28651	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
( ! [V__ACCT,V__SITE] : (((s__instance(V__ACCT,s__UserAccount) & s__instance(V__SITE,s__Agent) & s__instance(V__SITE,s__WebSite)) => ((s__accountAtSite(V__ACCT,V__SITE) => (( ? [V__DATABASE, V__SITE_OWNER] : ((s__instance(V__DATABASE,s__Database) & s__instance(V__SITE_OWNER,s__Agent) & s__possesses(V__SITE,V__SITE_OWNER) & s__possesses(V__DATABASE,V__SITE_OWNER) & s__part(V__ACCT,V__DATABASE)))))))) ) )	UXExperimentalTerms.kif 784-792	If an user account is an account at an agent, then there exist another agent and the agent_OWNER such that the other agent is an instance of database and the agent_OWNER is an instance of agent and the agent possesses the agent_OWNER and the other agent possesses the agent_OWNER and the user account is a part of the other agent
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : (((s__instance(V__MEMBER,s__Physical) & s__instance(V__SITE,s__WebSite) & s__instance(V__COLL,s__Collection) & s__instance(V__INT,s__TimeInterval)) => (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (s__instance(V__MEMBER,s__Agent))))) ) )	UXExperimentalTerms.kif 3736-3740	If a collection are first time buyers on a WebSite during a time interval and a physical is a member of the collection, then the physical is an instance of agent
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : (((s__instance(V__MEMBER,s__Physical) & s__instance(V__SITE,s__WebSite) & s__instance(V__COLL,s__Collection) & s__instance(V__INT,s__TimeInterval)) => (((s__firstTimeSellers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (s__instance(V__MEMBER,s__Agent))))) ) )	UXExperimentalTerms.kif 3784-3788	If a collection are first time sellers on a WebSite during a time interval and a physical is a member of the collection, then the physical is an instance of agent
( ! [V__ITEM,V__AUCTIONING] : (((s__instance(V__AUCTIONING,s__Auctioning) & s__instance(V__ITEM,s__Object) & s__patient(V__AUCTIONING,V__ITEM)) => (( ? [V__BIDDER, V__OFFER] : ((s__instance(V__BIDDER,s__Agent) & s__instance(V__OFFER,s__CurrencyMeasure) & s__bidPrice(V__ITEM,V__OFFER,V__BIDDER)))))) ) )	UXExperimentalTerms.kif 426-435	If a process is an instance of auction 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
( ! [V__CAPTURE,V__OBJ] : ((s__instance(V__OBJ,s__Object) => (((s__instance(V__CAPTURE,s__Capturing) & s__controlled(V__CAPTURE,V__OBJ)) => (s__instance(V__OBJ,s__Agent))))) ) )	Mid-level-ontology.kif 21930-21934	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
( ! [V__PROCESS,V__COMMENTING] : (((s__instance(V__COMMENTING,s__Commenting) & s__instance(V__PROCESS,s__Process) & s__patient(V__COMMENTING,V__PROCESS)) => (( ? [V__AGENT, V__SPEAKING, V__LOOKING] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__SPEAKING,s__Speaking) & s__instance(V__LOOKING,s__Looking) & s__agent(V__SPEAKING,V__AGENT) & s__agent(V__LOOKING,V__AGENT) & s__patient(V__LOOKING,V__PROCESS) & s__refers(V__SPEAKING,V__PROCESS)))))) ) )	Mid-level-ontology.kif 14415-14428	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4561-4578	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
( ! [V__GROUP,V__MEMB] : ((s__instance(V__MEMB,s__Physical) => (((s__instance(V__GROUP,s__Group) & s__member(V__MEMB,V__GROUP)) => (s__instance(V__MEMB,s__Agent))))) ) )	Merge.kif 15452-15456	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3584-3616	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 new buyers at the WebSite during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3683-3715	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 new sellers at the WebSite during the time interval is equal to the collection
( ! [V__LOGO,V__OBJ] : (((s__instance(V__LOGO,s__Logo) & s__represents(V__LOGO,V__OBJ)) => ((s__instance(V__OBJ,s__Agent) \| s__instance(V__OBJ,s__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
( ! [V__AGENT,V__ORG] : ((s__instance(V__AGENT,s__Physical) => (((s__instance(V__ORG,s__Organization) & s__member(V__AGENT,V__ORG)) => (s__instance(V__AGENT,s__Agent))))) ) )	Merge.kif 15855-15859	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
( ! [V__SEARCHATTEMPT,V__QUERY] : (((s__instance(V__QUERY,s__SearchQuery) & s__instance(V__SEARCHATTEMPT,s__SearchAttempt) & s__represents(V__QUERY,V__SEARCHATTEMPT)) => (( ? [V__AGENT, V__OBJ] : ((s__instance(V__AGENT,s__Agent) & s__patient(V__SEARCHATTEMPT,V__OBJ) & s__agent(V__SEARCHATTEMPT,V__AGENT)))))) ) )	UXExperimentalTerms.kif 2636-2645	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
( ! [V__OBJ,V__TRANS] : (((s__instance(V__TRANS,s__Buying) & s__attribute(V__TRANS,s__CBT) & s__patient(V__TRANS,V__OBJ) & s__instance(V__OBJ,s__Object)) => (( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] : ((s__instance(V__BUYER,s__Agent) & s__instance(V__SELLER,s__Agent) & s__agent(V__TRANS,V__BUYER) & s__origin(V__TRANS,V__SELLER) & s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) & s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) & s__located(V__SELLER,V__SELLER_LOCATION) & s__located(V__BUYER,V__BUYER_LOCATION) & ~((V__BUYER_LOCATION = V__SELLER_LOCATION))))))) ) )	UXExperimentalTerms.kif 2050-2067	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 the agent_LOCATION is not equal to the other object_LOCATION
( ! [V__ACC2,V__ACC1,V__TRANS] : (((s__instance(V__ACC2,s__Object) & s__instance(V__ACC1,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__BusinessToBusiness)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACC1,s__BusinessAccount) & s__attribute(V__ACC2,s__BusinessAccount)))))))) ) )	UXExperimentalTerms.kif 1935-1954	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 WebSite 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 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 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and business account is an attribute of a third object
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] : (((s__instance(V__ACCOUNT1,s__Object) & s__instance(V__ACCOUNT2,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__BusinessToConsumer)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACCOUNT1,s__BusinessAccount) & s__attribute(V__ACCOUNT2,s__ConsumerAccount)))))))) ) )	UXExperimentalTerms.kif 1967-1986	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 WebSite 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 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 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and consumer account is an attribute of a third object
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] : (((s__instance(V__ACCOUNT1,s__Object) & s__instance(V__ACCOUNT2,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__ConsumerToConsumer)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACCOUNT1,s__ConsumerAccount) & s__attribute(V__ACCOUNT2,s__ConsumerAccount)))))))) ) )	UXExperimentalTerms.kif 1999-2018	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 WebSite 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 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 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 WebSite and the other user account is an account at the WebSite and consumer account is an attribute of another object and consumer account is an attribute of a third object
( ! [V__OBJ,V__TRANS] : (((s__instance(V__TRANS,s__Selling) & s__attribute(V__TRANS,s__CBT) & s__patient(V__TRANS,V__OBJ) & s__instance(V__OBJ,s__Object)) => (( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] : ((s__instance(V__BUYER,s__Agent) & s__instance(V__SELLER,s__Agent) & s__destination(V__TRANS,V__BUYER) & s__agent(V__TRANS,V__SELLER) & s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) & s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) & s__located(V__SELLER,V__SELLER_LOCATION) & s__located(V__BUYER,V__BUYER_LOCATION) & ~((V__BUYER_LOCATION = V__SELLER_LOCATION))))))) ) )	UXExperimentalTerms.kif 2031-2048	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 the physical_LOCATION is not equal to the agent_LOCATION
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : (((s__instance(V__MEMBER,s__Physical) & s__instance(V__SITE,s__WebSite) & s__instance(V__COLL,s__Collection) & s__instance(V__INT,s__TimeInterval)) => (((s__newRegisteredUsers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (s__instance(V__MEMBER,s__Agent))))) ) )	UXExperimentalTerms.kif 3831-3835	If members of a collection have registered for a WebSite during a time interval and a physical is a member of the collection, then the physical is an instance of agent
( ! [V__AGENT,V__OBJ,V__ATTR] : ((s__instance(V__AGENT,s__Agent) => (((s__subjectiveAttribute(V__OBJ,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__TimeAttribute)) => (s__instance(V__OBJ,s__Agent))))) ) )	Dining.kif 979-983	If an agent believes an entity is an attribute and the attribute is an instance of TimeAttribute, then the entity is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 909-933	If open layout is an attribute of an object, then the object is an instance of room and there exist another object and a third 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 the other object is not equal to 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 a 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
( ! [V__STRING,V__SITE,V__BROWSER] : (((s__instance(V__STRING,s__Identifier) & s__instance(V__SITE,s__WebSite) & s__instance(V__BROWSER,s__WebBrowser) & s__instance(V__BROWSER,s__Object)) => ((s__browserID(V__STRING,V__BROWSER,V__SITE) => (( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] : ((s__instance(V__WEBPAGE,s__WebPage) & s__component(V__WEBPAGE,V__SITE) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__AGENT,s__Agent) & s__agent(V__ACCESSING,V__AGENT) & s__instrument(V__ACCESSING,V__BROWSER) & s__destination(V__ACCESSING,V__WEBPAGE) & s__represents(V__STRING,V__AGENT)))))))) ) )	UXExperimentalTerms.kif 921-932	If an Identifier is the ID of a web browser when accessing a WebSite, then there exist a corpuscular object, a process and an agent such that the corpuscular object is an instance of WebPage and the corpuscular object is a component of 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 the web browser is an instrument for the process and the process ends up at the corpuscular object and the Identifier expresses the agent
( ! [V__ATTR,V__ORG] : (((s__instance(V__ATTR,s__RelationalAttribute) & s__instance(V__ORG,s__Agent)) => ((s__colocatedAgent(V__ORG,V__ATTR) => (( ? [V__ORG2, V__LOC] : ((s__instance(V__LOC,s__Object) & (s__instance(V__ORG2,s__Agent) & s__attribute(V__ORG2,V__ATTR) & s__located(V__ORG,V__LOC) & s__located(V__ORG2,V__LOC))))))))) ) )	Hotel.kif 745-752	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
( ! [V__EXP,V__PROC] : (((s__instance(V__EXP,s__Experimenting) & s__instance(V__PROC,s__Process)) => ((s__exclusiveEvent(V__EXP,V__PROC) => (( ? [V__EVP, V__AGENT] : ((s__instance(V__EVP,s__Process) & s__instance(V__AGENT,s__Agent) & s__treatedUser(V__AGENT,V__EXP) & s__experimentalVariableProcess(V__EXP,V__EVP) & s__experiencer(V__PROC,V__AGENT) & s__experiencer(V__EVP,V__AGENT) & s__earlier(s__WhenFn(V__EVP) ,s__WhenFn(V__PROC))))))))) ) )	UXExperimentalTerms.kif 4549-4559	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: