No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	If a process is an instance of duty tax and the process includes a reference to an entity and the entity is a patient of the process, then there exist another process, an object and another entity such that the other process is an instance of transfer and the entity is a patient of the other process and the other process originates at the object and the other process ends up at the other entity and the object is an instance of nation and the other entity is an instance of nation and the object is not equal to the other entity and the time of existence of the other process happens earlier than the time of existence of the process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	If an entity is an instance of read only memory data storage and a process is an instance of manufacture and the entity is a result of the process, then the statement there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the time of existence of the process happens earlier than the time of existence of the other entity 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 doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8699-8704	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and the other integer is greater than the integer, then the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3907-3914	If a bank statement is a last statement of a financial account and a physical is an instance of financial transaction and the bank statement expresses the content of the physical and another physical is an instance of financial transaction and the bank statement doesn't express the content of the other physical, then the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	If members of a collection have registered for a web site during a time interval and a physical is a member of the collection, then there doesn't exist another time interval such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 694-710	If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and another entity element of (@ROW) is equal to the physical and a third entity element of (@ROW) is equal to the other physical and a positive integer is less than another positive integer, then the time of existence of the physical happens earlier than the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3870-3882	If a computer program is the software version of the computer program and a process is an instance of computer programming and the computer program is a patient of the process, then there exists another process such that the other process is an instance of computer programming and the other process is not equal to the process and the time of existence of the other process happens earlier than the time of existence of the process and the computer program is a patient of the other process and the computer program is the software version of the computer program
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 783-797	If a list is the list of items viewed by an agent and a physical is an instance of accessing web page and the first of the list is equal to the physical, then there doesn't exist the physical2 such that the physical2 is an instance of accessing web page and the agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and the positive integerth element of the list is equal to the process and the other positive integerth element of the list is equal to the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29445-29456	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29417-29429	If device normal is an attribute of an object, then there doesn't exist the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5010-5022	If bulimia nervosa is an attribute of a cognitive agent, then there exist a physical and a process such that the physical is an instance of eating and the process is an instance of vomiting or the process is an instance of Defecating and the cognitive agent is an agent of the process and the cognitive agent wants the process and the time of existence of the physical happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	If locked is an attribute of an object, then there exist another object, a process and an entity such that the other object is an instance of lock and the other object is connected to the object and the process is an instance of closing and the other object is a patient of the process and the entity is an instance of motion and the time of existence of the process happens earlier than the time of existence of locked is an attribute of the object and the statement the object is a patient of the entity doesn't have the modal force of possibility holds during the time of existence of locked is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8382-8384	If the end of a time interval happens before the beginning of another time interval, then the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3795-3797	If a process causes another process, then the time of existence of the process happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9395-9407	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of another kind of time interval and the fourth time interval is an instance of the other kind of time interval and the third time interval is not equal to the fourth time interval, then the third time interval meets the fourth time interval or the fourth time interval meets the third time interval or the third time interval happens earlier than the fourth time interval or the fourth time interval happens earlier than the third time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 242-250	If prisoner is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other entity is an instance of imprisoning and the other time interval happens earlier than the time interval and the entity is a detainee of the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22307-22321	If widowed woman is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is the spouse of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval and there doesn't exist a third entity such that the third entity is the spouse of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9747-9755	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5308-5318	If reinfection is an attribute of an entity holds during a time interval, then another entity is an instance of infectious disease and the other entity is an attribute of the entity holds during the time interval and the other entity is an attribute of the entity holds during the time intervalEARLY and the time intervalEARLY happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30194-30202	If undamaged is an attribute of an entity holds during a time interval, then there doesn't exist a process such that the process is an instance of damaging and the entity is a patient of the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 760-766	If bereaved father is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a father of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 774-780	If bereaved mother is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a mother of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval
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