No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processingA check and the check is a patient of the process and the time of existence of the process is equal to the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of withdrawal and the check is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	If value of an object is a currency measure and a process is an instance of processingA check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and the time of existence of the process is equal to the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 258-262	If a cognitive agent observes a holiday and a time interval is equal to the time of existence of the cognitive agent, then the holiday takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12804-12810	If a physical is a patient of a process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process, then the process is an instance of creation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4376-4386	If a process prevents the occurrence of another kind of process and the time of existence of the process is equal to a time interval and the process is located at an object, then there exists an entity such that the entity is an instance of another kind of process and the entity is located at the object doesn't hold during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8025-8030	If an object is a resource for a process and the measure of the object is a real number holds during the beginning of the time of existence of the process and the measure of the object is another real number holds during the end of the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 427-438	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 387-398	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 660-670	If the startup time delay of a computer program is a time duration and a computer process is an instance of computer process and the computer program is a program running of the computer process and the time of existence of the computer process is equal to a time interval and a physical is an instance of computer process and the time of existence of the physical is equal to another time interval and the time interval meets a third time interval and the third time interval meets the other time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8402-8404	If the time of existence of a physical is equal to the time of existence of another physical, then the physical occurs at the same time as the other physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14370-14375	If a time interval is equal to the time of existence of an entity is stored on another entity, then the statement there exists a third entity such that the entity is a patient of the third entity has the modal force of possibility holds during the time interval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7969-7972	If a time position is a part of the time of existence of a physical, then the physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8212-8221	If a time point is between or at the beginning of the time of existence of a physical and the end of the time of existence of the physical, then the physical exists during the time point and the time point is an instance of 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