memberType - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19087-19089
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19084-19084	The number 1 argument of member type is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19085-19085	The number 2 argument of member type is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19083-19083	member type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1694-1694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1693-1693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37022-37022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37021-37021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37020-37020

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19091-19095

If a class is a member type of a collection and an object is a member of the collection,
then the object is an instance of the class

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 166-171	If all rooms in a room inventory have a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 228-233	If all rooms in a room inventory have policy a policy, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then the policy is a policy that applies to the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 213-218	If all rooms in a room inventory have service a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2839-2848	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2859-2870	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2820-2829	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27168-27183	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of integer, then the cognitive agent desires there exist a fifth entity and a sixth entity such that the fifth entity is an instance of buying and the time of existence of the fifth entity takes place during the fourth entity and the object transferred in the fifth entity is the sixth entity and the third entity is a transaction amount of the fifth entity and the cognitive agent is an agent of the fifth entity and the sixth entity is an instance of collection and the other entity is a member type of the sixth entity and the entity is a member count of the sixth entity and the cognitive agent possesses the sixth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27112-27122	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of integer, then the cognitive agent desires there exists a fifth entity such that the fifth entity is an instance of collection and the other entity is a member type of the fifth entity and the entity is a member count of the fifth entity and the cognitive agent possesses the fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27135-27150	If there is a shortage of an integer of a set or class for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and the set or class is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
No TPTP formula. May not be expressible in strict first order.	naics.kif 7780-7789	If florists is an attribute of an object, then the object purpose there exist an entity and another entity such that the other entity is an instance of designing and the entity is an instance of collection and flower is a member type of the entity and the entity is a patient of the other entity and the object is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22180-22187	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and metal is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 977-990	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection purpose there exists an entity such that the entity is a member of the collection and the entity is an instance of finger and the entity partially fills another entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1014-1020	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3449-3451	If a collection is an instance of Fleet, then vehicle is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21591-21600	If an object is an instance of self-service laundry, then there exist a collection and another collection such that the collection is an instance of collection and clothes washing machine is a member type of the collection and the collection is located at the object and the other collection is an instance of collection and clothes dryer is a member type of the other collection and the other collection is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22123-22129	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22131-22139	If a physical is an instance of electrical outlet, then the physical purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1685-1687	If a collection is an instance of mini bar, then food for human is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22310-22314	If a collection is an instance of public address system, then microphone is a member type of the collection and speaker is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-140	If a collection is an instance of room inventory, then hotel unit is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23182-23186	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19106-19112	If a collection is member type count a set or class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the set or class is a member type of the other collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 182-187	If some rooms in a room inventory have a kind of physical, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 243-248	If some rooms in a room inventory have a policy, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and the policy is a policy that applies to the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 198-203	If some rooms in a room inventory have a kind of physical, then there exists a kind of hotel unit such that a kind of hotel unit is a member type of the room inventory and a kind of physical is an amenity in the kind of hotel unit

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: