Sigma KB Term Intersection

Term Intersection : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 136-145	If an agent offers items for sale in a catalog during a kind of time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of being a agent in the other kind of process during a kind of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16113-16134	If a physical is an instance of Protecting, then the physical purpose there exists an entity such that the entity is an instance of object and object is a patient of the physical and another entity is a subclass of the class described by a third entity and the physical prevents the occurrence of the other entity or the physical hinders the other entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 284-299	If the price negotiated for a kind of entity 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 and a kind of entity is a subclass of proposition, then the statement if another entity is an immediate instance of the kind of entity and a third entity expresses the content of the other entity and a fourth entity is an instance of selling and the third entity is a patient of the fourth entity and the cognitive agent is an agent of the fourth entity and the fourth entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the fourth entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12377-12384	If a kind of series is a subclass of news program and a kind of text is equal to volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and a kind of text is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-811	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 64-75	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 and a third entity such that the third entity expresses the content of the kind of entity and the other entity is an instance of selling and the third entity is a patient of the other entity and the 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.	Hotel.kif 398-418	If renters of a kind of hotel unit can pay to use a class and the class is a subclass of process, then if 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 class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price the processRICE an unit of measure(s) for the agent and the unit of measure is an instance of UnitOfCurrency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3499-3525	If a physical is an instance of protective eyewear, then the physical purpose if the physicalRSON is an instance of human and the physicalRSON は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by a fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	If use of a class is free for a kind of hotel unit and the class 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 class 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 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 the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 328-343	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 363-378	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.	Catalog.kif 97-106	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 object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 351-365	If use of a class is free for a kind of hotel unit and the class 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 class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6997-7011	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 484-500	If a cognitive agent is a customer of another cognitive agent and the cognitive 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 cognitive agent allows the other 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 other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 268-282	If the price negotiated for a kind of entity 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 and a kind of entity is a subclass of physical, then the statement if another entity is an instance of selling and a third entity is a patient of the other entity and the third entity is an immediate instance of the kind of entity and the cognitive agent is an agent of the other entity and the other entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the other entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3546-3568	If a physical is an instance of respirator, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 502-518	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity and another entity such that the other entity is an element of belongings of the cognitive agent and the cognitive agent is an agent of the entity and the other cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or a third entity is an instance of a fourth entity 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.	Mid-level-ontology.kif 12395-12409	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27946-27955	If a physical is a subclass of a covering for a kind of body part, then the physical purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 345-361	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.	Cars.kif 3462-3492	If a physical is an instance of hearing protection, then the physical purpose if an entity is an instance of human and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 374-396	If renters of a kind of hotel unit can pay to use a class and the class is a subclass of object, then if 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 class 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 object 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 the process is price the processRICE an unit of measure(s) for the agent and the unit of measure is an instance of UnitofCurrency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive 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 cognitive 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.	Merge.kif 11944-11948	If a process is an instance of publication and a class is a patient of the process, then the class is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3403-3432	If a physical is an instance of safety harness, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity

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