No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process has the purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5497-5512	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent doesn't wear the entity holds during the beginning of the time of existence of the process and the agent wears the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23627-23633	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and an agent is an agent of the process, then the agent is transported during the transportation
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2000-2008	If a process is an instance of disgusted voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of disgust and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 148-153	If a process is an instance of depositingA check and a certificate is an instance of check and a cognitive agent is an agent of the process, then the cognitive agent is a signed by of the certificate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 321-327	If a process is an instance of drawingA check and a check is a patient of the process and a cognitive agent is an agent of the process and a financial account is a check account of the check, then the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent, then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16717-16729	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of secondary school 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.	emotion.kif 119-127	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists the agentPP such that the agentPP is an instance of appraisal process and the agent is an agent of the agentPP and the agentPP causes the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 129-137	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists another process such that the other process is an instance of facial expression and the agent is an agent of the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	If a process is an instance of exfiltration and an agent is an agent of the process, then there exist another process and an entity such that the other process is an instance of pretending and the agent is an agent of the other process and the entity is a patient of the other process and the other process has the purpose the entity believes there doesn't exist the process0 such that the process0 is equal to the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1039-1048	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1026-1037	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 967-976	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent and the age of the other agent is another real number year duration(s), then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 954-965	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19970-19978	If a process is an instance of eye motion and an agent is an agent of the process, then there exists an object such that the object is an instance of eyelid and the object is a part of the agent and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13727-13734	If a process is an instance of radiating sound and an agent is an agent of the process, then there exists an attribute such that the attribute is an instance of sound attribute and the attribute is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16698-16710	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of high school 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.	Mid-level-ontology.kif 17308-17316	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	If a process is an instance of evacuating and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2542-2546	If a process is an instance of evacuating and an agent is an agent of the process, then the agent is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	If a process is an instance of evacuating and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	If a process is an instance of evacuating and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
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