No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22110-22118	If a process is an instance of suicide bombing and a cognitive agent is an agent of the process, then the cognitive agent believes dead is an attribute of the cognitive agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2331-2338	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains the formula a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26941-26945	If a cognitive agent approves another cognitive agent, then there exists an entity such that the cognitive agent believes the other cognitive agent conforms to the entity
No TPTP formula. May not be expressible in strict first order.	People.kif 742-746	If deist is an attribute of a cognitive agent, then the cognitive agent believes there exists an entity such that the entity is equal to god
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1939-1945	If a human may have a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC believes the statement the disease or syndrome is an attribute of the human has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 422-430	If a cognitive agent distrusts an agent, then the cognitive agent believes the statement there exists an entity such that the entity is an instance of a kind of intentional process and the agent is an agent of the entity has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7415-7417	If a formula is a doubts of a cognitive agent, then the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2463-2469	If a cognitive agent and another cognitive agent are enemies of each other, then the cognitive agent believes enemy is an attribute of the other cognitive agent and the other cognitive agent believes enemy is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1025-1036	If angst is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes the statement there exists an entity such that the cognitive agent doesn't want the entity and the time position happens before the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	If dizzy is an attribute of an entity holds during a time position, then the entity believes if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2, then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position2 meets the time of existence of the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10617-10625	If an entity expects another entity will be true holds during a time interval, then there exists another time interval such that the entity believes the other entity holds during the other time interval holds during the time interval and the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16618-16624	If a collection is an instance of belief group, then there exists a formula such that for all a cognitive agent if the cognitive agent is a member of the collection, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13049-13054	If a physical is an instance of pretending, then there exist an entity and a sentence such that the physical has the purpose the entity believes the sentence and the sentence is false
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2834-2836	If a cognitive agent knows a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9651-9664	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	People.kif 710-715	If a cognitive agent is a member of atheism, then the cognitive agent believes there doesn't exist an entity such that the entity is equal to god
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3061-3068	If a cognitive agent is a member of anti-vaxxer, then the cognitive agent believes if an entity is an instance of vaccination and another entity experiences the entity, then the other entity suffers from the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1954-1962	If a human may have a kind of pathologic process, then there exist a kind of pathologic processOC and the kind of pathologic processI such that the kind of pathologic processI is an instance of the kind of pathologic process and the kind of pathologic processOC believes the statement the human experiences the kind of pathologic process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	If a cognitive agent trusts an agent, then the cognitive agent believes if there exist an entity, another entity and a kind of intentional process such that the entity is an instance of stating and the entity contains the formula the other entity is an instance of a kind of intentional process and the agent is an agent of the other entity, then the statement the other entity is an instance of the kind of intentional process and the agent is an agent of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 390-398	If a cognitive agent trusts an agent, then the cognitive agent believes the statement there exists an entity such that the entity is an instance of a kind of intentional process and the agent is an agent of the entity has the modal force of possibility

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