Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13516-13527	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	If a physical is an instance of counter terrorism, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26690-26693	If a kind of uniform is a subclass of uniform, then there exists a group such that the group has uniform a kind of uniform
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
No TPTP formula. May not be expressible in strict first order.	engineering.kif 826-831	If a corpuscular object is an instance of electrical conductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29730-29739	If a physical is a subclass of a covering for a kind of body part, then the physical has the purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	If a transportation device is an instance of truck, then there exists a kind of object such that a kind of object is a subclass of object and the kind of object is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and the kind of substance is not equal to the other kind of substance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	If a collection is an instance of cross-functional team, then there exist a kind of process, an agent,, , another agent and an entity such that a kind of process is a subclass of process and the agent is an instance of human and the other agent is an instance of human and the agent is a member of the collection and the other agent is a member of the collection and the agent has the skill to do the kind of process and the other agent does not have the skill to do the kind of process and the entity is an instance of the kind of process and the collection is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	If a geopolitical area is electricity consumption in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity consumption of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
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.	Transportation.kif 1572-1580	If a kind of transportation device is a subclass of transportation device and the transportation of a kind of transportation device is a subclass of transportation and a process is an instance of the transportation of the kind of transportation device, then there exists an object such that the object is an instance of the kind of transportation device and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7528-7533	If an object is an instance of sports team, then there exists a kind of process such that a kind of process is a subclass of sport and the object is capable of doing the kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	If a kind of biochemical agent is a subclass of tick borne encephalitis virus, then there exists a disease or syndrome such that the disease or syndrome is an instance of tick borne encephalitis and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 600-608	If an object is an instance of another kind of object and another kind of object is a subclass of cell nucleus and every the other kind of object is initially part of a eukaryotic cell, then there exists a third object such that the third object is an instance of chromotin and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	If a kind of object is equal to 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.	MilitaryProcesses.kif 2174-2184	If a physical is an instance of counter operation, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of military operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9671-9676	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	If a geopolitical area import total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual import total of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	If a geopolitical area export total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual export total of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1688-1693	If a corpuscular object is an instance of charcoal filter, then there exists a kind of substance such that a kind of substance is a subclass of charcoal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	If an entity is an immediate instance of a class, then there doesn't exist another class such that the other class is a subclass of the class and the other class is not equal to the class and the entity is an instance of the other class
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	If pulmonologist is an attribute of an object, then there exist a process, another process,, , another object and a third object such that a class is a subclass of diagnostic process and another class is a subclass of therapeutic process and the other object is a patient of the process and the other object is a patient of the other process and the third object is an instance of lung and the third object is a part of the other object and the process is located at lung and the other process is located at lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14789-14798	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	If a geopolitical area is electricity production in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity production of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18896-18901	If researcher is an attribute of a human, then there exists a kind of field of study such that a kind of field of study is a subclass of science and the kind of field of study has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	If an object is an instance of spice, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	If a kind of maritime claim area is a maritime claim type of a geopolitical area and a kind of maritime claim area is a subclass of maritime claim area, then there exists a geographic area such that the geographic area is an instance of the kind of maritime claim area and the geopolitical area is a claimed territory of the geographic area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	If a geopolitical area is electricity import in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity import of the geopolitical area holds during the time position
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.	Merge.kif 15166-15187	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	If a kind of physical is a natural hazard type in area of a geographic area and a kind of physical is a subclass of process, 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 geographic area and the time of existence of the geographic area overlaps the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical 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 process is located at the temporary residence or 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 there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16981-16986	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	If a kind of series is a subclass of newsprogram and an entity is an instance of volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	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.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the accessing web page is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the accessing web page in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8293-8302	If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position, then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process 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 the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2271-2278	If a kind of physical is a natural hazard type in area of a geographic area 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 geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	If a day is a birthdate of a human and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	If a physical is an instance of counter reconnaissance, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	If a collection is an instance of industry, then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	If an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	If a corpuscular object is an instance of resistor element, then there exists a kind of substance such that a kind of substance is a subclass of insulator substance and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of a kind of hotel unit and the entity is an element of belongings of the third entity and the third entity is an agent of the other entity and the other entity is an instance of the kind of physical or the fourth entity is an instance of the kind of physical and the other entity is a subprocess of the fourth entity and the other entity is located at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18084-18092	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	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.	Mid-level-ontology.kif 21066-21080	If news reporter is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3600-3605	If a corpuscular object is an instance of coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	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 process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 160-167	If a class is an immediate subclass of another class, then there doesn't exist a third class such that the third class is a subclass of the other class and the class is a subclass of the third class and the other class is not equal to the third class and the class is not equal to the third class
No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	If a geopolitical area is electricity export in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity export of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem

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