TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 813-818
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1205-1205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 812-812	Object is a subclass of physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 799-799	Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9510-9510	The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2593-2593	The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9258-9258	The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9237-9237	The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9215-9215	The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17039-17039	The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1437-1437	Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14547-14547	Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13021-13021	Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1158-1158	Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22367-22367	ContactSite is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3840-3840	Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19221-19221	Prepared food is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1144-1144	Region is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 820-820	Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23571-23571	SphericalObject is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12965-12965	Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5118-5118	Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	english_format.kif 837-837

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1277-1277	The number 3 argument of AccelerationFn is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2591-2591	The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2592-2592	The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9256-9256	The number 1 argument of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9257-9257	The number 2 argument of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9235-9235	The number 1 argument of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9236-9236	The number 2 argument of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9213-9213	The number 1 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9214-9214	The number 2 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 870-870	The number 1 argument of absorbed dose is an instance of object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 906-906	The number 1 argument of adjacent orientation is an instance of object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 238-238	The number 1 argument of advertised on is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23635-23635	The number 1 argument of air temperature is an instance of object
No TPTP formula. May not be expressible in strict first order.	Music.kif 354-354	The number 2 argument of anthem is an instance of object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1862-1862	The number 1 argument of ask price is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1629-1629	The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15052-15052	The number 1 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15053-15053	The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7421-7421	The number 1 argument of barometric pressure is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27984-27984	The number 1 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27985-27985	The number 2 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27986-27986	The number 3 argument of beforeOnPath is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4005-4005	The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4006-4006	The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4007-4007	The number 3 argument of between is an instance of object

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.	Mid-level-ontology.kif 21200-21206	If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object, then the object plays role in event the case role for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23650-23659	If an attribute is an attribute of an object and the attribute is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the attribute is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 480-496	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 814-835	If a set or class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-537	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 784-805	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1522-1538	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent at the WebSite has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1508-1520	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-447	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 the object is a patient of the process and the agent bids a currency measure for the object and the other agent bids another currency measure for the object and the currency measure is greater than the other currency measure, then the process ends up at the 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 19846-19853	If an object is an instance of blade and a process is an instance of cutting and another object is an instance of object and the object is an instrument for the process and the other object is a patient of the process, then the object meets the other object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3444-3464	If a collection is an instance of collection and a number is an instance of currency measure and an integer is an instance of real number and the number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the number and the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 182-197	If a collection is an instance of web listing category and an object is an instance of web listing and another object is an instance of web listing and a process is an instance of object and another process is an instance of object and the object is a member of the collection and the other object is a member of the collection and the object is a patient of the process and the other object is a patient of the other process, then there exists a set or class such that the set or class is an instance of class and the process is an instance of the set or class and the other process is an instance of the set or class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 463-469	If an entity is an instance of object and an object is an instance of web listing and FSBO is an attribute of the object and the entity is a patient of the object, then the entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 471-478	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.	Economy.kif 4883-4894	If an agent is an instance of lathe and an entity is an instance of object and the agent is an instrument for a process and the entity is a patient of the process, then there exists another process such that the other process is an instance of rotating and the process is a subprocess of the other process and the entity is a patient of the other process and the agent is an agent of the other process
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.	Merge.kif 16559-16566	If an object is an instance of object and pliable is an attribute of the object, then there exists a process such that the process is an instance of shape change and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3914-3921	If an object is an instance of object and the object is partly located in another object, then there exists a third object such that the third object is a part of the object and the third object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3908-3912	If an object is an instance of object and the object is partly located in another object, then the object and the other object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-120	If a region is an instance of object and an object is an instance of wind and the measure of the object is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9045-9051	If an entity is an instance of case role and another entity is an instance of object and the entity a physical and the other entity, then there exists a time point such that the place where the physical was at the time point and the other entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2089-2106	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN

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 23256-23260	If an attribute is an attribute of an object and the attribute is an instance of size attribute, then the object is an instance of object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity-PLACE and the third entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity-RES is an instance of object and the third entity-PLACE is an instance of geopolitical area and the third entity-RES is located at the third entity-PLACE and the geographic area is not equal to the third entity-PLACE and the other entity is not equal to the third entity-RES and the geographic area is not a geographic subregion of the third entity-PLACE and the third entity-PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	naics.kif 7960-7985	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist an entity and the cognitive agentLANE such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 7249-7264	If a collection is an instance of organization and building material and garden equipment and supplies dealers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing constructing as a resource or the other object is capable of doing agriculture as a resource and the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8659-8679	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7709-7723	If a collection is an instance of organization and general merchandise stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity and another entity such that the agent is an instance of selling and the other entity is an instance of human and the entity is an instance of object and the agent ends up at the other entity and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 6160-6176	If a collection is an instance of organization and miscellaneous manufacturing is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of object and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7759-7772	If a collection is an instance of organization and miscellaneous store retailers is an attribute of the collection, then there exist a process, an object,, , an entity and another entity such that the object is a member of the collection and an agent is an agent of the process and the process is an instance of selling and the agent is an instance of human and the other entity is an instance of retail store and the process is located at 2 and the entity is an instance of object and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 7884-7900	If a collection is an instance of organization and nonstore retailers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity and another entity such that the agent is an instance of selling and the other entity is an instance of human and the entity is an instance of object and not the agent is located at 2 and the agent ends up at the other entity and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8630-8650	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8041-8066	If a collection is an instance of organization and rail transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 7607-7625	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing sport as a instrument or the other object is capable of doing making music as a instrument or the other object is an instance of book or the other object is an instance of music recording or the other object is an instance of music text and the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8176-8198	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8699-8720	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8087-8112	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 6382-6398	If a collection is an instance of organization and wholesale trade is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of selling and the entity is an instance of object and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2271-2282	If a corpuscular object is an instance of next generation view item and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite, then there exist an entity and a web listing such that the entity is an instance of object and the web listing is an instance of web listing and the web listing is a component of the corpuscular object and the web listing is hosted on the WebSite and the entity is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2089-2106	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12058-12071	If a process is an instance of Searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process purpose the agent knows the physical is located at the object for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18870-18899	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the object is the time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another entity and the other entity is an instance of body of water and the object is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the object is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	If an object is an instance of region and vacuum is an attribute of the object, then there doesn't exist a physical such that the physical is an instance of object and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 856-860	If user an agent at a WebSite has cart a collection and an object is a member of the collection, then the object is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23520-23522	If clean is an attribute of an object, then the object is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25452-25454	If communal is an attribute of an object, then the object is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23524-23526	If dirty is an attribute of an object, then the object is an instance of object

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: