Sigma KB Term Intersection

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.	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and the agent is not equal to the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	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.	Catalog.kif 354-370	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13516-13527	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of a kind of hotel unit and the entity is an element of belongings of the third entity and the third entity is an agent of the other entity and the other entity is an instance of the kind of physical or the fourth entity is an instance of the kind of physical and the other entity is a subprocess of the fourth entity and the other entity is located at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other 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