No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the government of the geopolitical area, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	If a process is an instance of add to cart and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 76-84	If a financial account is an instance of financial account and the financial account is held by a financial organization, then there exists a process such that the process is an instance of controlling an account and the financial account is a patient of the process and the financial organization is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 778-788	If a process is an instance of bodybuilding and an agent is an agent of the process, then there exists another process such that the other process is an instance of weightlifting and the agent is an agent of 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.	Merge.kif 11753-11764	If a process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11927-11938	If a process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2477-2481	If a certificate is an instance of callable bond and a cognitive agent is an issued by of the certificate, then the cognitive agent is capable of doing call as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8386-8399	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29627-29641	If a time interval is an instance of confirming and an agreement is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agreement2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of reaching agreement and the agreement2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1478-1488	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process has the purpose the process prevents the occurrence of proliferationWMD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15886-15899	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 356-361	If a process is an instance of controlling an account and a financial account is a patient of the process and the financial account is held by a financial organization, then the financial organization is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 532-536	If a process is an instance of delivery service and an agent is an agent of the process, then the agent is capable of doing delivery service as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12068-12084	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10311-10319	If a process is an instance of digesting and an agent is an agent of the process, then there exists another process such that the other process is an instance of ingesting and the agent is an agent of the other process and the time of existence of the process overlaps the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16689-16701	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
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