No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31857-31866	If a cognitive agent buys an entity from an agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31868-31878	If a cognitive agent buys a proposition from an agent and the proposition is an instance of proposition, then there exist a process and another process such that the cognitive agent is an agent of the process and the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3522-3529	If a bank card is a card code of a content bearing object and a financial account is a card account of the bank card, then there exists a process such that the process is an instance of encoding and the financial account is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 688-699	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Music.kif 869-878	If a song is equal to the song comprising a musical composition and a lyrical content and the song expresses the content of a process, then there exist another process and a third process such that the musical composition is a patient of the other process and the lyrical content is a patient of the third process and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4422-4439	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	If expellee is an attribute of an entity and the entity is a citizen of another entity_NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and the object is not equal to the other entity_NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity_NATION and the time position is a part of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9139-9149	If an entity is the spouse of another entity holds during a time interval and the time interval is an instance of time interval, then there exists a process such that the process is an instance of wedding and the entity is a patient of the process and the other 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.	Mid-level-ontology.kif 7914-7922	If an object is an instance of artifact and non repairable is an attribute of the object, then there doesn't exist a process such that the process is an instance of repairing and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7901-7908	If an object is an instance of artifact and repairable is an attribute of the object, then there exists a process such that the process is an instance of repairing and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12394-12403	If a process is an instance of surgery and an entity is a patient of the process, then there exists another process such that the other process is an instance of cutting and the entity is an instance of animal and the entity is a patient of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 753-763	If a process is an instance of air photographic reconnaissance and an agent is an agent of the process and an entity is a patient of the process, then there exists another process such that the other process is an instance of photographing and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process
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 2270-2278	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.	Mid-level-ontology.kif 18153-18163	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other 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.	Merge.kif 13548-13557	If a process is an instance of attack and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17587-17599	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 78-86	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
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