TreeView 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 1504-1505
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1502-1502	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 3670-3670	Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6375-6375	The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15904-15904	Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13807-13807	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15955-15955	Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1305-1305	IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14094-14094	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16341-16341	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1512-1512	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.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2410-2410	The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1682-1682	The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1318-1318	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 3707-3707	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 3732-3732	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 4190-4190	The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1178-1178	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 1213-1213	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 7702-7702	The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1628-1628	The number 2 argument of achievement is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 575-575	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 2380-2380	The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3411-3411	The number 2 argument of agentName is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2232-2232	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 22655-22655	The number 2 argument of alias is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22375-22375	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 22926-22926	The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1937-1937	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 2421-2421	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 2432-2432	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 attitudeForFormula 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 attitudeForObject is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15187-15187	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 22360-22360	The number 2 argument of benefits is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1917-1917	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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1771-1776	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 29644-29655	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 1697-1701	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 1764-1769	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 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1689-1695	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
No TPTP formula. May not be expressible in strict first order.	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 11495-11505	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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11512-11524	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 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2498-2505	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1444-1450	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 2826-2840	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite and the agent created the corpuscular object and the agent is a registered user of the WebSite, 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 WebSite is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1475-1482	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 3746-3750	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

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 29625-29638	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 784-792	If an user account is an account at a WebSite, then there exist an object and the WebSite_OWNER such that the object is an instance of database and the WebSite_OWNER is an instance of agent and the WebSite_OWNER possesses the WebSite and the WebSite_OWNER possesses the object and the user account is a part of the object
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22905-22909	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 15336-15349	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15959-15963	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
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 16362-16366	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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: