No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	If a process is an instance of restore, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of deleting data and the other entity is an instance of digital data and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of computer process and the entity is an instance of the class and the other 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.	Media.kif 741-763	If an entity is an instance of rewritable data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	If an entity is an instance of write once data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11339-11350	If the object transferred in a transfer is an object, then there exist another object and an entity such that the transfer originates at the other object and the transfer ends up at the entity and the object is located at the other object holds during immediately before the transfer and the object is located at the entity holds during immediately after the transfer
No TPTP formula. May not be expressible in strict first order.	Music.kif 1482-1490	If a kind of object was released for consumption in a geographic area at a time point, then there exist an entity and another entity such that the other entity is an instance of a kind of object and the other entity is a patient of the entity and the entity is located at the geographic area holds during immediately after the time point
No TPTP formula. May not be expressible in strict first order.	Music.kif 1499-1509	If a kind of object was released for sale in a geographic area at a time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of object and the other entity is an instance of buying and the other entity is located at the geographic area and the entity is a patient of the other entity has the modal force of possibility holds during immediately after the time point

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