No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27107-27118	If an object is an instance of telephone communication and local is an attribute of the object, then there exist a telecom number, another telecom number,, , an agent,, , another agent and a symbolic string such that the object originates at the agent and the object ends up at the other agent and the telecom number is the telephone number of the agent and the other telecom number is the telephone number of the other agent and the area code in the telecom number is the symbolic string and the area code in the other telecom number is the symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processingA check and the check is a patient of the process and the time of existence of the process is equal to the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of withdrawal and the check is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement
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.	Geography.kif 6393-6404	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29474-29485	If coin operated is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and the third entityCT such that the entity is an instance of coin and the other entity is an instance of financial transaction and the other entity ends up at the object and the entity is a patient of the other entity and the other entity originates at the third entity and the other entity causes the third entityCT and the third entity wants the third entityCT
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2379-2385	If an agent is an export partner of another agent, then there exists a process such that the process is an instance of exporting and the process originates at the other agent and the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2359-2367	If an agent export partner in period another agent for a kind of time interval, then there exist another time interval and a process such that the other time interval is an instance of a kind of time interval and the process is an instance of exporting and the time of existence of the process overlaps the other time interval and the process originates at the agent and the process ends up at the other agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1820-1827	If an entity is an instance of computer and Standalone mode is an attribute of the entity holds during a time position, then the entity is capable of doing communication over wireless network as a origin doesn't hold during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2666-2672	If an agent is an import partner of another agent, then there exists a process such that the process is an instance of exporting and the process originates at the agent and the process ends up at the other agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2647-2655	If an agent import partner in period another agent for a kind of time interval, then there exist another time interval and a process such that the other time interval is an instance of a kind of time interval and the process is an instance of exporting and the time of existence of the process overlaps the other time interval and the process originates at the other agent and the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	If a process is an instance of uploading, then there exist an entity and an object such that the entity is a patient of the process and the object is an instance of computer and the process originates at the object and the entity is an instance of digital data
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the other entity is an instance of engine and the third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24010-24017	If a transfer is an instance of birth, then there exist an object and the transferABY such that female is an attribute of the object and the transfer originates at the object and the object transferred in the transfer is the transferABY and non fully formed is an attribute of the transferABY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10925-10932	If an object is an instance of distilled alcoholic beverage, then there exist a process and an entity such that the process is an instance of removing and the entity is a patient of the process and the entity is an instance of freshwater and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3218-3226	If an entity is an instance of community spread, then there doesn't exist a cognitive agent such that the cognitive agent knows there exists another entity such that the entity originates at the cognitive agent and the cognitive agent has name the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17487-17496	If a process is an instance of centrifugal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process originates at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	If a physical is an instance of computer protocol, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of computer program and the other entity is an instance of computer program and the third entity is an instance of data transfer and the third entity originates at the entity and the third entity ends up at the other entity and the physical expresses the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18311-18320	If a transfer is an instance of defrauding, then there exist an agent, another agent and an object such that the agent is an agent of the transfer and the other agent suffers from the transfer and the agent is a beneficiary of the transfer and the object transferred in the transfer is the object and the object originates at the other agent and the object ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2424-2429	If a process is an instance of discharging, then there exists an object such that the object is an instance of battery and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10010-10023	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8848-8857	If a physical is an instance of detergent, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is an instance of substance and the other entity is a patient of the entity and the entity originates at the third entity and the third entity is a surface of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15427-15440	If a physical is an instance of elevator, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of transportation and the entity originates at the other entity and the other entity is an instance of building level and the entity ends up at the third entity and the third entity is an instance of building level and the other entity is not equal to the third entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the fourth entity is an instance of building
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