element - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - element

element

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2289-2290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5403-5405
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 957-959
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5400-5400	The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5401-5401	The number 2 argument of element is an instance of set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5398-5398	element is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5397-5397	element is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5399-5399	element is a subrelation of instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 488-488
No TPTP formula. May not be expressible in strict first order.	english_format.kif 493-493
No TPTP formula. May not be expressible in strict first order.	french_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 90-90
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2066-2066
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 633-633
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 306-306
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 312-312
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 195-195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1282-1282	member is internally related to element
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21795-21795
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 489-489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21794-21794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21793-21793
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 196-196

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5407-5411	If an entity is an element of a set if and only if the entity is an element of another set, then the set is equal to the other set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5391-5395	If if an entity is an element of a set, then the entity is an element of another set , then the set is a subset of the other set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1452-1457	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of casino, then casino hotels is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	If a collection is an element of belongings of an agent and the collection is an instance of room inventory, then for all a physical if the physical is a member of the collection, then the physical is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	If a kind of physical is free for customers renting 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 process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit 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 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 object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit 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 the process is price 0.0 united states dollar(s) for the human
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.	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the 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 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.	Hotel.kif 1696-1704	If a physical is an instance of hotel function room and the physical is an element of belongings of an agent, then the physical has the purpose there exists an entity such that the entity is an instance of renting and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	If an object is an instance of nursery and the object is an element of belongings of an agent and traveler accommodation is an attribute of the agent, then there exist a cognitive agent and an entity such that communal is an attribute of the object and the agent employs the cognitive agent and the cognitive agent has the purpose the entity is an instance of child-care service and the cognitive agent provides a service during the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exist another entity and a third entity such that the other entity is an instance of group of people and the third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	If renters of a kind of hotel function room can pay to use a kind of physical 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 process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then there exist a real number and an unit of measure such that the object is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
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.	Hotel.kif 2744-2757	If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent, then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5385-5389	If a set is a subset of another set and an entity is an element of the set, then the entity is an element of the other set

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	If an agent can hold kinds of a kind of process, then there exists an object such that the object is an element of belongings of the agent and the object is capable of doing a kind of process as a located
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.	Hotel.kif 1127-1140	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	If a collection is an element of belongings of an agent and the collection is an instance of room inventory, then for all a physical if the physical is a member of the collection, then the physical is an element of belongings of the agent
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.	Merge.kif 5385-5389	If a set is a subset of another set and an entity is an element of the set, then the entity is an element of the other set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	If traveler accommodation is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object rents the other entity to the entity during the third entity and the other entity is an instance of hotel unit and the other entity is an element of belongings of the object
No TPTP formula. May not be expressible in strict first order.	naics.kif 11437-11442	If water theme park is an attribute of an agent, then there exists an entity such that the entity is an instance of swimming pool and the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	If an entity is an instance of hotel unit, then there exists an agent such that traveler accommodation is an attribute of the agent and the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	If a physical is an instance of hotel unit, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the physical is an element of belongings of the entity and the entity rents the physical to the other entity during the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5518-5521	If a set is an instance of non null set, then there exists an entity such that the entity is an element of the set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5506-5510	If a set is an instance of null set, then there doesn't exist an entity such that the entity is an element of the set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1691-1694	If an entity is an instance of hotel function room, then there exists an agent such that the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	If an agent has a policy, then for all an object if the object is an element of belongings of the agent, then the policy covers the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	If mini bar is an amenity in a kind of hotel unit, then there exist an object, a collection and an agent such that the object is an instance of a kind of hotel unit and the object is an element of belongings of the agent and the collection is an instance of mini bar and the collection is located at the object and for all a physical if the physical is a member of the collection, then there exists a currency measure such that the physical is price the currency measure for the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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