No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval
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.	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 1627-1631	If a kind of object is an organization product type of an organization and a kind of object is a subclass of another kind of object, then another kind of object is an organization product type of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1667-1671	If a kind of intentional process is an organization service type of an organization and a kind of intentional process is a subclass of another kind of intentional process, then another kind of intentional process is an organization service type of the organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	If an organism is a parent of another organism and a class is a subclass of organism and the organism is an instance of the class, then the other organism is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23267	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at another object, then the object plays role in event of type the case role for the other kind of process with the time position and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23289-23296	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at another object, then the object plays role in event of type the case role for the other kind of process with the time position and the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
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.	Economy.kif 4265-4269	If a kind of object is a subclass of flower and a kind of object is equal to cauliflower, then every the kind of object is initially part of a cabbage plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	If a kind of object is a subclass of fruit and a kind of object is equal to cucumber, then every the kind of object is initially part of a cucumber plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	If a kind of object is a subclass of fruit and a kind of object is equal to eggplant, then every the kind of object is initially part of a EggplantPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4239-4243	If a kind of object is a subclass of plant leaf and a kind of object is equal to cabbage, then every the kind of object is initially part of a cabbage plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4214-4218	If a kind of object is a subclass of plant leaf and a kind of object is equal to leafy green vegetable, then every the kind of object is initially part of a plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4825-4829	If a kind of object is a subclass of plant stem and a kind of object is equal to alfalfa, then every the kind of object is initially part of a alfalfa plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4839-4843	If a kind of object is a subclass of seed and a kind of object is equal to clover, then every the kind of object is initially part of a clover plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	If a class is a subclass of substance and a substance is an instance of the class and another substance is a piece of the substance, then the other substance is an instance of the class
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 30-34	If a class is a subclass of Android and an entity is an instance of the class, then Alphabet created the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 93-97	If a class is a subclass of IOS and an entity is an instance of the class, then Apple created the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 62-66	If a class is a subclass of windows OS and an entity is an instance of the class, then Microsoft created the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14789-14798	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
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