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 1551-1552
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1549-1549	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 3707-3707	Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7187-7187	The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 953-953	Autonomous mobile robot is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16265-16265	Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14124	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16316-16316	Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1619-1619	IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16702-16702	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1559-1559	Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848	Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64519-64519	Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898	Sentient agent is a subclass of agent

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 1647-1647	The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1283-1283	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 3912-3912	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 3938-3938	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 4266-4266	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 7830-7830	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 2428-2428	The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3405-3405	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 2197-2197	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 24151-24151	The number 2 argument of alias is an instance of agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2462-2462	The number 1 argument of allied is an instance of agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2463-2463	The number 2 argument of allied 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 23871-23871	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 24422-24422	The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1942-1942	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 2386-2386	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 2397-2397	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 2124-2124	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 2117-2117	The number 2 argument of attitude for object 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 1736-1741	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 31185-31196	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 1662-1666	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 1729-1734	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 1654-1660	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 11727-11737	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 11744-11756	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 2463-2470	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 1409-1415	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 1440-1447	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 3953-3957	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 31166-31179	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity and a process such that the entity is not equal to the entity and the entity 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 entity 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 24401-24405	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 16743-16756	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 16320-16324	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 16723-16727	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: