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 840-845
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-839	Object is a subclass of physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 826-826	Physical is exhaustively partitioned into object and process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10066-10066	The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10209-10209	The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2626-2626	The range of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9969-9969	The range of mereological difference is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9948-9948	The range of mereological product is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9926-9926	The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1786-1786	The values returned by attr are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18559-18559	The values returned by Making fn are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5591-5591	The values returned by organic object fn are subclasses of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15831-15831	Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14175-14175	Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26215-26215	Contact site is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3927-3927	Magnet is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	Region is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 855-855	Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27249-27249	Spherical object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2753-2753	Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16623-16623	Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5274-5274	Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815	Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	english_format.kif 832-832	Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	french_format.kif 491-491	Two dimensional object is a subclass of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1276-1276	The number 3 argument of Acceleration fn is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2624-2624	The number 1 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2625-2625	The number 2 argument of line is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9967-9967	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 9968-9968	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 9946-9946	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 9947-9947	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 9924-9924	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 9925-9925	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 944-944	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 184-184	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 27571-27571	The number 1 argument of air temperature is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33308-33308	The number 1 argument of allowable value is an instance of object
No TPTP formula. May not be expressible in strict first order.	Music.kif 359-359	The number 2 argument of anthem is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33321-33321	The number 1 argument of applicable relation is an instance of object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1943-1943	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 1730-1730	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 19016-19016	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 19017-19017	The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7901-7901	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 31662-31662	The number 1 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31663-31663	The number 2 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31664-31664	The number 3 argument of before on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	The number 1 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 24893-24899	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 27585-27594	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.	MilitaryProcesses.kif 2808-2820	If blue force controlled is an attribute of an object and the object is an instance of object, then there exists an organization such that the organization is an instance of government organization and the organization possesses the object and the organization is a part of the organization the government of united states or the organization and the government of united states are allies of each other
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the 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 agent allows the 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 cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5608-5617	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	If a kind of physical 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 an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 548-563	If use of a kind of physical is free for an agent and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses 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 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical 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 kind of physical 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 object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-836	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 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the 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 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 1326-1342	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 web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site has cart the collection and equal the beginning of the other time interval and 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 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.	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 23661-23668	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.	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) 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 3239-3259	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and equal the real number and the value of the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal the average price of the collection and the real number and the integer
No TPTP formula. May not be expressible in strict first order.	Food.kif 981-993	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exist another process and a third process such that the other process is an instance of breaking and the process causes the other process and the other process is a subprocess of the third process and the third process is an instance of shape change and the entity is a patient of the other process and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	Food.kif 995-1004	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is a result of the process and the other process is an instance of shape change and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	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 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.	Economy.kif 6398-6409	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.	Merge.kif 18065-18075	If an object is an instance of object and long and thin is an attribute of the object and another object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and equal the object and the other object, then there exists a real number such that the relative angle between the object and the other object is the real number

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 26984-26988	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.	Hotel.kif 1489-1502	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the 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 equal the geographic area and the third entity_PLACE and equal the other entity and 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.	Mid-level-ontology.kif 13085-13100	If a process is an instance of choking and an agent experiences the process, then there exist an entity, an object and another object such that the entity is an instance of object and the object is an instance of trachea and the other object is an instance of lung and the object is a part of the agent and the other object is a part of the agent and the entity is located at the object or the entity is located at the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6993-7012	If a process is an instance of coughing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of lung and the fourth entity is an instance of throat and the third entity is an instance of object and the entity is an instance of removing and the other entity is a part of the agent and the fourth entity is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the fourth entity or the third entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7059-7077	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and equal the other entityOSE and the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process allows the cognitive agent to perform task of the type there exist an entity, the cognitive agentLANE and a third 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 the 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 7242-7257	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 a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process 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 7702-7716	If a collection is an instance of organization and general merchandise stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 6153-6169	If a collection is an instance of organization and miscellaneous manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 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 7752-7765	If a collection is an instance of organization and miscellaneous store retailers is an attribute of the collection, then there exist a process, a physical,, , an entity,, , an object and an agent such that the physical is a member of the collection and the 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 object is an instance of retail store and the process is located at the object 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 7877-7893	If a collection is an instance of organization and nonstore retailers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 retail store 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 8707-8727	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process 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 8034-8059	If a collection is an instance of organization and rail transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third 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 the 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 7600-7618	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 a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent possesses the 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 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process 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 8080-8105	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third 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 the 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 6375-6391	If a collection is an instance of organization and wholesale trade is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 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 2065-2076	If a corpuscular object is an instance of next generation view item and a web site is an instance of web site and the corpuscular object is a component of the web site, 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 web site and the entity is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	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 equal the other process and the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and equal the other process_ORIGIN and the process_DESTINATION and equal the other process_DESTINATION and the process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13138-13151	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 has the 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 22764-22794	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical 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 physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical 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

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: