No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26732	If a physical is an instance of tripod, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of artifact and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical and the third entity is an instance of process and the entity is an instrument for the third entity and the end of the time of existence of the other entity happens before the beginning of the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1457-1470	If a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and the time interval is equal to the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and the other time interval is equal to the time of existence of the physical and the other time interval happens before the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16375-16377	If an organism is a parent of another organism, then the beginning of the time of existence of the organism happens before the beginning of the time of existence of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8124-8130	If a physical is a result of a process, then for all a time point if the time point happens before the beginning of the time of existence of the process, then the physical doesn't exist during the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8044-8052	If a time interval starts another time interval, then the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8170-8174	If a time point is between another time point and a third time point, then the other time point happens before the time point and the time point happens before the third 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