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 22651-22653
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22648-22648	Le nombre 1 argument de memberType est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22649-22649	Le nombre 2 argument de memberType est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22647-22647	memberType est une instance de pr�dicat binaire

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 37037-37037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37036-37036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37035-37035

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and nombre entier objet est une partie de EukaryoticCell objet est une instance de CellNucleus EukaryoticCellOLL est une instance de collection EukaryoticCellOLL est situ� � objet memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and nombre entier Gamete est une instance de Gamete objet est une partie de Gamete objet est une instance de CellNucleus collection est une instance de collection collection est situ� � objet memberType collection and Chromosome memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	Objet est une instance de HexaploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection and collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	Objet est une instance de PentaploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	Objet est une instance de TetraploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	Objet est une instance de TriploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 3
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 4 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 6 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de CommonWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EmmerWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsTauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de DurumWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and TriticumUrartu collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsSpeltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de EmmerWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EinkornWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 895-904	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de DiploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 865-874	Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 876-887	Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est MonoploidChromosomeSet homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	Collection est une instance de MonoploidChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell Chromosome est un membre de collection Chromosome est un membre de collection Chromosome est Chromosome homologousChromosome Chromosome and Chromosome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22655-22659	memberType collection and classe physique est un membre de collection physique est une instance de classe

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	allRoomsPhysicalAmenity RoomInventory and physique HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	allRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	allRoomsServiceAmenity RoomInventory and physique HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de CommonWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EmmerWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsTauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de DurumWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and TriticumUrartu collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsSpeltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de EmmerWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EinkornWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and HumanAdult memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection collection est une instance de GroupOfPeople collection est une sous-collection appartenant � collection collection est une instance de GroupOfPeople memberType collection and HumanChild memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and humain memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	ObsessiveCompulsiveDisorder est un attribut de agent cognitif collection classe memberType collection and classe classe est une sous-classe de enqu�ter classe est une sous-classe de Cleaning classeI est une instance de classe classeI est un agent de agent cognitif agent cognitif ne veut %n{pas} classeI
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	Florists est un attribut de objet objet a pour but entit� entit� entit� est une instance de Designing entit� est une instance de collection memberType entit� and Flower entit� est un patient de entit� entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and Breath memberCount collection and nombre entier processus est un membre de collection Lung est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10344-10356	heartRate Heart, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and HeartBeat memberCount collection and nombre entier processus est un membre de collection Heart est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	Objet corpusculaire est une instance de OutletAdapter collection collection est une instance de collection memberType collection and trou collection est une partie de objet corpusculaire m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	Objet est une instance de BowlingBall collection collection est une instance de collection memberType collection and trou memberCount collection and 3 collection est situ� � objet collection a pour but entit� entit� entit� est un membre de collection entit� est une instance de Finger entit� remplie partiellemnet entit�
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1163-1169	Objet est une instance de BowlingFacility collection collection est une instance de collection memberType collection and BowlingLane collection est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3516-3518	Collection est une instance de Fleet memberType collection and Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7931-7937	Entit� est une instance de LargeGroupProcess collection physique collection est une instance de collection physique est un membre de collection memberType collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11242-11244	Collection est une instance de RibCage memberType collection and RibBone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25401-25410	Objet est une instance de SelfServiceLaundry collection collection collection est une instance de collection memberType collection and ClothesWashingMachine collection est situ� � objet collection est une instance de collection memberType collection and ClothesDryer collection est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11482-11484	Collection est une instance de Skull memberType collection and os
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25899-25905	Objet est une instance de ElectricalOutlet collection collection est une instance de collection memberType collection and trou collection est une partie de objet

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: