AutonomousAgent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1558-1559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	Agent is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3714-3714	Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6711-6711	The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16173-16173	Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16224	Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16610-16610	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64496-64496
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1685-1685	The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1321-1321	The number 1 argument of executive branch is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	The number 1 argument of fiscal year is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3723-3723	The number 1 argument of fiscal year starting is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4274-4274	The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	The number 1 argument of sellers items is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	The number 1 argument of sellers other items is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7792-7792	The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	The number 2 argument of achievement is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 596-596	The number 1 argument of activity capability is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3423-3423	The number 2 argument of agent name is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2235-2235	The number 1 argument of agent operates in area is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23208-23208	The number 2 argument of alias is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 150-150	The number 2 argument of appointedPosition is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22928-22928	The number 1 argument of area of responsibility is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23479-23479	The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	The number 3 argument of ask price is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2424-2424	The number 1 argument of associate in organization is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2435-2435	The number 1 argument of associate with status is an instance of agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2126-2126	The number 2 argument of attitude for formula is an instance of agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2119-2119	The number 2 argument of attitude for object is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15456-15456	The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22913-22913	The number 2 argument of benefits is an instance of agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	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 30242-30253	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1700-1704	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1767-1772	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	If an agent is an instance of agent 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 a web listing if the web listing is an instance of web listing and the web listing is hosted on the web site 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 web site is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	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 1312-1324	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	If a process is an instance of auctioning 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 unit of currency 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 11656-11666	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	If a collection is an instance of collection and a web site is an instance of web site 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 web site 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 web site during the time point is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2501-2508	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 313-325	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 auctioning and the process is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1447-1453	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a web site is an instance of web site and the corpuscular object is a component of the web site and the agent created the corpuscular object and the agent is a registered user of the web site, then the corpuscular object has the purpose there exists an entity such that the entity is an instance of disseminating and the agent is an agent of the entity and the corpuscular object is a patient of the entity and the web site is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1478-1485	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	If an agent is an instance of agent and a kind of year is a subclass 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page 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 accessing web page and the time interval takes place during the accessing web page 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 accessing web page 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 accessing web page 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 accessing web page 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 2956-2983	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 there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and the value of the collection is equal to the other entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	If a process is an instance of view item request and another process is an instance of accessing web page 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 2999-3026	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 there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and the value of the collection is equal to the other entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	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

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 30223-30236	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23458-23462	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	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 4357-4374	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16228-16232	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 3376-3408	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 new buyers at the web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	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 new sellers at the web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16631-16635	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 the agent_LOCATION is not equal to the other object_LOCATION
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 the physical_LOCATION is not equal to the agent_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	If members of a collection have 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 766-773	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	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

KB Term:			Term intersection

English Word: