No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23804-23819	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1, the process2 and another entity such that the other entity is an instance of unit of length and the length of the entity is the process1 the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the process2 the other entity(s) holds during the end of the time of existence of the process and the process2 is greater than the process1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16483-16493	If a process is an instance of losing consciousness and an agent experiences the process, then awake is an attribute of the agent holds during the beginning of the time of existence of the process and unconscious is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11971-11978	If a process is an instance of learning and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the beginning of the time of existence of the process and the agent knows 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.	Merge.kif 10705-10713	If a process is an instance of firing and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is a member of the agent holds during the beginning of the time of existence of the process and the entity is not a member of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10673-10681	If a process is an instance of leaving an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is a member of the entity holds during the beginning of the time of existence of the process and the agent is not a member of 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.	Merge.kif 10687-10697	If a process is an instance of quitting and an entity is an instance of organization and a cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent desires the cognitive agent is not a member of 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.	ComputingBrands.kif 4009-4020	If a process is an instance of login failure and an agent is an agent of the process and the agent has account the agentC, then there doesn't exist an entity such that the agent is an agent of the entity and the entity is an instance of logging in and the agentC is a patient of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19864-19874	If a process is an instance of lying down and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and prostrate is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	If a loan is an instance of loan and a collateral is a secured by of the loan and a cognitive agent lends the loan and a process is an instance of financial default and the loan is a patient of the process, then the cognitive agent possesses the collateral holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	If an agent is an instance of guided missile and a process is an instance of flying and the agent is a patient of the process, then there exists another process such that the other process is an instance of guiding and the process is a patient of the other process and the agent is an agent of the other process and the time of existence of the other process takes place during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 469-480	If a process is an instance of mounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is not on to the entity holds during the beginning of the time of existence of the process and the agent is on to 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.	Medicine.kif 6532-6543	If a transfer is an instance of MoveToEvac and the object transferred in the transfer is an object, then the transfer has the purpose there exists an entity such that the entity is an instance of evacuating and the object transferred in the entity is the object and the time of existence of the transfer happens earlier than the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16304-16323	If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to the other entity, then there doesn't exist a third entity such that the entity is a part of the organization the third entity and the other entity is a part of the organization the third entity holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity is a part of the organization the fourth entity and the other entity is a part of the organization the fourth entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12144-12151	If a process is an instance of measuring and an agent is an agent of the process and an entity is a patient of the process, then there exist another entity and a third entity such that the agent knows the measure of the entity is the other entity the third entity(s) holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13304-13309	If a process is an instance of meeting and an agent is an agent of the process and another agent is an agent of the process, then the agent is near to the other agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	If a process is an instance of melting and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11074-11079	If a motion is an instance of motion and an object moves during the motion and the motion ends up at an entity, then the object is located at the entity holds during the end of the time of existence of the motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11058-11063	If a motion is an instance of motion and an object moves during the motion and the motion originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18058-18066	If a process is an instance of moving and an agent is an agent of the process, then there exist an entity and another entity such that the home of the agent is the entity holds during the beginning of the time of existence of the process and the home of the agent is the other entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	If a process is an instance of moving away from people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	If a process is an instance of moving towards people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the real number is greater than the other real number
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