No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10363-10369	If a process is an instance of asexual reproduction and an organism is a result of the process and another organism is a parent of the organism and a third organism is a parent of the organism, then the other organism is equal to the third organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10316-10321	If a process is an instance of replication and an organism is an agent of the process and another organism is a result of the process, then the organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10336-10343	If a process is an instance of sexual reproduction and an organism is a result of the process, then there exist another organism and a third organism such that the other organism is a mother of the organism and the third organism is a father of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14276-14281	If a process is an instance of requesting and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of request
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4197-4208	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then there doesn't exist another process such that the other process is an instance of requesting and the processPAM is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then the statement the other entity wants the processPAM doesn't have the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14236-14241	If a process is an instance of stating and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of statement
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2082-2090	If an entity is an instance of counter terrorism strategy and a process is an instance of operation planning and the entity is a result of the process, then there exists another entity such that the other entity is a patient of the process and the other entity is an instance of counter terrorism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14265-14270	If a process is an instance of supposing and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of supposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12736-12745	If a process is an instance of translating and a linguistic expression is a patient of the process and another linguistic expression is a result of the process, then there exist a language, another language and an entity such that the linguistic expression represents the entity in the language the language and the other linguistic expression represents the entity in the language the other language and the language is not equal to the other language
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object, a third time interval and a hole such that the self connected object is an instance of cask and the hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR
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 16386-16394	If an organism is a parent of another organism and a process is an instance of sexual reproduction and the organism is an agent of the process and the other organism is a result of the process, then the organism is a mother of the other organism or the organism is a father of the other organism
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	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 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 legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
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.	Law.kif 515-524	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20710-20716	If a recording produces a human and a process is an instance of film making and the recording is a result of the process, then film producer is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12569	If an object is a resource for a process and an entity is a result of the process and the object is an instance of compound substance and the entity is an instance of elemental substance, then the process is an instance of chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12527-12533	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis
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

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