No TPTP formula. May not be expressible in strict first order.	Merge.kif 2537-2546	If a process exhausts an object and the object is an instance of a class, then there doesn't exist an entity such that the entity is a part of the object and the entity is an instance of the class holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then there exist an entity, a time position,, , another entity and a third entity such that the disease or syndrome is an attribute of the entity holds during the time position and the third entity is an instance of a kind of process and the time of existence of the third entity is a part of the time position and the entity experiences the third entity and the other entity is a patient of the third entity and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2798-2807	If Covid is an attribute of an entity holds during a time position, then the statement another entity is an instance of COVID antibody and the other entity is a part of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16434-16440	If sleepy is an attribute of a cognitive agent holds during a time position, then the cognitive agent desires asleep is an attribute of the cognitive agent holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	If tourniquet is an attribute of an object holds during the objectIME, then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4000-4010	If an entity confers norm another entity for a third entity holds during a time position, then the statement the other entity doesn't have the modal force of the third entity holds during immediately before the time position and the statement the other entity has the modal force of the third entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4022-4031	If an entity deprives norm another entity for a third entity holds during a time position, then the statement the other entity has the modal force of the third entity holds during immediately before the time position and the statement the other entity doesn't have the modal force of the third entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10510	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 1375-1390	If a process is an instance of coronation, then there exist an entity and another entity such that the entity is an instance of human and the entity is a patient of the process and the other entity is an instance of geopolitical area and the other entity doesn't chief of state monarch for the entity holds during the beginning of the time of existence of the process and the other entity chief of state monarch for the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4263-4282	If a physical is an instance of FMIP, then the physical 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 iPhone and the physical is an instrument for the third entity and the entity is an agent of the third entity and the other entity is a patient of the third entity and the entity doesn't know the other entity is located at the fourth entity holds during immediately before the time of existence of the third entity and the entity knows the other entity is located at the fourth entity holds during immediately after the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3606-3622	If a physical is an instance of inflating, then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8535-8537	If a time position is an instance of time interval, then immediately after the time position starts after the time position
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	If a process is an instance of mounting, then there exist an entity and another entity such that the entity is an instance of computer and the other entity is an instance of computer I/O device and the entity is a patient of the process and the other entity is a patient of the process and the entity is connected to the other entity holds during the time of existence of the process and the other entity is a connected peripheral of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	If an entity is an instance of shrapnel, then there exist an object and a process such that the object is an instance of bomb and the process is an instance of explosion and the object is an instrument for the process and the entity is a part of the object holds during immediately before the time of existence of the process and the entity is not a part of the object holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7965-7970	If a physical is an instance of wedding, then there exist an entity and another entity such that the entity is the spouse of the other entity holds during immediately after the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	If a process is an instance of deleting data, then there exists an entity such that the entity is an instance of digital data and the entity is a patient of the process and there don't exist another entity and a class such that the other entity is an instance of computer process and the other entity is an instance of the class and the other entity is not an instance of restore and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2670-2692	If a physical is an instance of key, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of lock and the physical is capable of doing the class described by the other entity as a instrument and the physical is capable of doing the class described by the third entity as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27047-27069	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3775-3800	If a collection is an instance of remote keyless system, then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string as a instrument
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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