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 22602-22604
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22599-22599	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 22600-22600	The number 2 argument of member type is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22598-22598	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 37049-37049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37048-37048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37047-37047

antecedent

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

Mid-level-ontology.kif 22606-22610

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

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	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 233-238	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 218-223	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 2883-2892	If a hotel reservation may have an integer adults and the hotel reservation fulfills a reservation, 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 reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	If a hotel reservation may have an integer children and the hotel reservation fulfills a reservation, 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 reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	If a hotel reservation may have an integer occupants and the hotel reservation fulfills a reservation, 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 reservation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30857-30872	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30799-30809	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30824-30839	If there is a shortage of an integer of a kind of object 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 a kind of object 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.	Medicine.kif 4023-4036	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and another collection such that the other collection is a member type of the collection and the other collection is a subclass of investigating or the other collection is a subclass of cleaning and if the other collectionI is a member of the other collection, then the cognitive agent is an agent of the other collectionI and the cognitive agent doesn't want the other collectionI
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	If florists is an attribute of an object, then the object has the 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 10358-10370	If a lung breathes at a rate of an integer breaths per a time interval, then there exist a collection and a process such that the collection is an instance of collection and Breath is a member type of the collection and the integer is a member count of the collection and if the process is a member of the collection, then the lung is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10317-10329	If a heart beats at a rate of an integer beats per a time interval, then there exist a collection and a process such that the collection is an instance of collection and heart beat is a member type of the collection and the integer is a member count of the collection and if the process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25884-25891	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 the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1125-1138	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 has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1162-1168	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 3488-3490	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 7904-7910	If an entity is an instance of large group process, then there exist a collection and a physical such that the collection is an instance of collection and the physical is a member of the collection and agent is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11215-11217	If a collection is an instance of rib cage, then rib bone is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25318-25327	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 11455-11457	If a collection is an instance of skull, then bone is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25827-25833	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 25835-25843	If a physical is an instance of electrical outlet, then the physical has the 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 1723-1725	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 26014-26018	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

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: