memberType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation memberType EnglishLanguage "(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the Class ?TYPE.")	Mid-level-ontology.kif 22704-22706
(domain memberType 1 Collection)	Mid-level-ontology.kif 22701-22701	Die Zahl 1 Argument von memberType ist ein fall von Collection %n{nicht}
(domain memberType 2 Class)	Mid-level-ontology.kif 22702-22702	Die Zahl 2 Argument von memberType ist ein fall von Class %n{nicht}
(instance memberType BinaryPredicate)	Mid-level-ontology.kif 22700-22700	memberType ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage memberType "%2 %n 是 %1 的 member 类别")	domainEnglishFormat.kif 1695-1695
(format ChineseTraditionalLanguage memberType "%2 %n 是 %1 的 member 類別")	domainEnglishFormat.kif 1694-1694
(format EnglishLanguage memberType "%2 is %n a member type of %1")	domainEnglishFormat.kif 1693-1693
(termFormat ChineseLanguage memberType "会员类型")	domainEnglishFormat.kif 37037-37037
(termFormat ChineseTraditionalLanguage memberType "會員類型")	domainEnglishFormat.kif 37036-37036
(termFormat EnglishLanguage memberType "member type")	domainEnglishFormat.kif 37035-37035

antecedent

(=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 702-710	Wenn chromosomeNumber EukaryoticCell and Integer und Object ist ein teil von EukaryoticCell %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und EukaryoticCellOLL ist ein fall von Collection %n{nicht} und EukaryoticCellOLL befindet sich an %n{nicht} und memberType EukaryoticCellOLL and Chromosome, dann memberCount EukaryoticCellOLL and ** Integer
(=> (and (haploidNumber ?CELL ?I) (instance ?CELL Gamete) (part ?N ?CELL) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 793-802	Wenn haploidNumber Gamete and Integer und Gamete ist ein fall von Gamete %n{nicht} und Object ist ein teil von Gamete %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Collection ist ein fall von Collection %n{nicht} und Collection befindet sich an %n{nicht} und memberType Collection and Chromosome, dann memberCount Collection and ** Integer
(=> (and (instance ?CELL HexaploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B ?C) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (instance ?C HomologousChromosomeSet) (subCollection ?C ?COLL) (not (equal ?A ?B)) (not (equal ?A ?C)) (not (equal ?B ?C)))))	VirusProteinAndCellPart.kif 1003-1024	Wenn Object ist ein fall von HexaploidCell %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome, dann es gibt Collection, Collection, and und Collection um Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist gleich Collection nicht und Collection ist gleich Collection nicht und Collection ist gleich Collection nicht
(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5))	VirusProteinAndCellPart.kif 973-983	Wenn Object ist ein fall von PentaploidCell %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, Collection and 5
(=> (and (instance ?CELL TetraploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (not (equal ?A ?B)))))	VirusProteinAndCellPart.kif 950-965	Wenn Object ist ein fall von TetraploidCell %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome, dann es gibt Collection und Collection um Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist gleich Collection nicht
(=> (and (instance ?CELL TriploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 3))	VirusProteinAndCellPart.kif 920-930	Wenn Object ist ein fall von TriploidCell %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, Collection and 3
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 4) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL TetraploidCell))	VirusProteinAndCellPart.kif 938-948	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 4 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von TetraploidCell %n{nicht}
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 6) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL HexaploidCell))	VirusProteinAndCellPart.kif 991-1001	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 6 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein fall von HexaploidCell %n{nicht}
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii))))	Economy.kif 3970-3985	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von CommonWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EmmerWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsTauschii
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M DurumWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X TriticumUrartu) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsSpeltoides))))	Economy.kif 3911-3926	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von DurumWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and TriticumUrartu und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsSpeltoides
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass))))	Economy.kif 3879-3894	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von EmmerWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EinkornWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsGrass
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 2) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell))	VirusProteinAndCellPart.kif 895-904	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und chromosomeSetCount MonoploidChromosomeSet, Collection and 2 und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von Object %n{nicht}, dann ** Object ist ein fall von DiploidCell %n{nicht}
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 2))	VirusProteinAndCellPart.kif 865-874	Wenn Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Chromosome und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von EukaryoticCell %n{nicht} und MonoploidChromosomeSet ist ein fall von MonoploidChromosomeSet %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann chromosomeSetCount MonoploidChromosomeSet, ** Collection and 2
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (subCollection ?X ?COLL) (subCollection ?Y ?COLL) (not (equal ?X ?Y))) (homologousChromosomePair ?X ?Y))	VirusProteinAndCellPart.kif 876-887	Wenn Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Chromosome und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von EukaryoticCell %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht} und MonoploidChromosomeSet ist gleich MonoploidChromosomeSet nicht, dann homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (member ?X ?COLL) (member ?Y ?COLL) (not (equal ?X ?Y))) (not (homologousChromosome ?X ?Y)))	VirusProteinAndCellPart.kif 718-730	Wenn Collection ist ein fall von MonoploidChromosomeSet %n{nicht} und memberType Collection and Chromosome und Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und Object ist ein teil von EukaryoticCell %n{nicht} und Chromosome ist ein Mitglied von Collection %n{nicht} und Chromosome ist ein Mitglied von Collection %n{nicht} und Chromosome ist gleich Chromosome nicht, dann homologousChromosome Chromosome and Chromosome
(=> (and (memberType ?GROUP ?TYPE) (member ?MEMBER ?GROUP)) (instance ?MEMBER ?TYPE))	Mid-level-ontology.kif 22708-22712	Wenn memberType Collection and Class und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von ** Class %n{nicht}

consequent

(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 171-176	Wenn allRoomsPhysicalAmenity RoomInventory and Physical, dann fuer alle HotelUnit wenn memberType RoomInventory and HotelUnit, dann roomAmenity HotelUnit and ** Physical
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 233-238	Wenn allRoomsPolicy RoomInventory and Policy, dann fuer alle HotelUnit wenn memberType RoomInventory and HotelUnit, dann roomPolicy HotelUnit and Policy
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 218-223	Wenn allRoomsServiceAmenity RoomInventory and Physical, dann fuer alle HotelUnit wenn memberType RoomInventory and HotelUnit, dann roomAmenity HotelUnit and ** Physical
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii))))	Economy.kif 3970-3985	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von CommonWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EmmerWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsTauschii
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M DurumWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X TriticumUrartu) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsSpeltoides))))	Economy.kif 3911-3926	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von DurumWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and TriticumUrartu und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsSpeltoides
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass))))	Economy.kif 3879-3894	Wenn Collection ist ein fall von Collection %n{nicht} und memberType Collection and Chromosome und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von EmmerWheatGrass %n{nicht}, dann es gibt Collection, Collection,, , Object, and und Object um Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart Object and EinkornWheatGrass und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType Collection and Object und initialPart ** Object and AegilopsGrass
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2883-2892	Wenn numberAdultOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and HumanAdult und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2903-2914	Wenn numberChildOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection und Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and HumanChild und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2864-2873	Wenn numberOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and Human und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30980-30995	Wenn shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity und Quantity ist ein fall von Integer %n{nicht}, dann CognitiveAgent wuenscht es gibt entity und entity um entity ist ein fall von Buying %n{nicht} und die zeit des Bestehens von entity geschieht waehrend TimeInterval %n{nicht} und objectTransferred entity and entity und transactionAmount entity and CurrencyMeasure und entity ist der agent von CognitiveAgent %n{nicht} und entity ist ein fall von Collection %n{nicht} und memberType entity and Object und memberCount entity and Quantity und CognitiveAgent besitzt ** entity %n{nicht} %n{nicht}
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30922-30932	Wenn shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity und Quantity ist ein fall von Integer %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Collection %n{nicht} und memberType entity and Object und memberCount entity and Quantity und CognitiveAgent besitzt entity %n{nicht} %n{nicht}
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30947-30962	Wenn shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and Integer und Integer ist ein fall von Integer %n{nicht}, dann es gibt nicht Transfer und Collection um Transfer ist ein fall von Buying %n{nicht} und die zeit des Bestehens von Transfer geschieht waehrend TimeInterval %n{nicht} und objectTransferred Transfer and Collection und transactionAmount Transfer and CurrencyMeasure und Transfer ist der agent von AutonomousAgent %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Object und memberCount Collection and Integer und AutonomousAgent besitzt Collection %n{nicht}
(=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI)))))))	Medicine.kif 4025-4038	Wenn ObsessiveCompulsiveDisorder ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Collection und Class um memberType Collection and Class und Class ist eine teilkategorie von Investigating oder Class ist eine teilkategorie von Cleaning und wenn ClassI ist ein fall von Class %n{nicht}, dann ClassI ist der agent von CognitiveAgent %n{nicht} und CognitiveAgent wuenscht ClassI nicht
(=> (attribute ?X Florists) (hasPurpose ?X (exists (?FLOWER ?PROC) (and (instance ?PROC Designing) (instance ?FLOWER Collection) (memberType ?FLOWER Flower) (patient ?PROC ?FLOWER) (agent ?PROC ?X)))))	naics.kif 7773-7782	Wenn Florists ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von Designing %n{nicht} und entity ist ein fall von Collection %n{nicht} und memberType entity and Flower und entity ist ein patient von entity %n{nicht} und entity ist der agent von Object %n{nicht} %n{nicht}
(=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 10413-10425	Wenn breathingRate Lung, TimeInterval and Integer, dann es gibt Collection und Process um Collection ist ein fall von Collection %n{nicht} und memberType Collection and Breath und memberCount Collection and Integer und wenn Process ist ein Mitglied von Collection %n{nicht}, dann Lung ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht}
(=> (heartRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 10372-10384	Wenn heartRate Heart, TimeInterval and Integer, dann es gibt Collection und Process um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HeartBeat und memberCount Collection and Integer und wenn Process ist ein Mitglied von Collection %n{nicht}, dann Heart ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht}
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 26001-26008	Wenn CorpuscularObject ist ein fall von OutletAdapter %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und Collection ist ein teil von CorpuscularObject %n{nicht} und Metal ist von ** CorpuscularObject gebildet
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1126-1139	Wenn Object ist ein fall von BowlingBall %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und memberCount Collection and 3 und Collection befindet sich an %n{nicht} und Collection hat Zweck von es gibt entity und entity um entity ist ein Mitglied von Collection %n{nicht} und entity ist ein fall von Finger %n{nicht} und entity fuellt ** entity teilweise %n{nicht}
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1163-1169	Wenn Object ist ein fall von BowlingFacility %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and BowlingLane und ** Collection befindet sich an %n{nicht}
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 3509-3511	Wenn Collection ist ein fall von Fleet %n{nicht}, dann memberType ** Collection and Vehicle
(=> (instance ?LGP LargeGroupProcess) (exists (?G ?M) (and (instance ?G Collection) (member ?M ?G) (memberType ?G AutonomousAgent))))	Mid-level-ontology.kif 7959-7965	Wenn Entity ist ein fall von LargeGroupProcess %n{nicht}, dann es gibt Collection und Physical um Collection ist ein fall von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und memberType Collection and AutonomousAgent
(=> (instance ?RC RibCage) (memberType ?RC RibBone))	Mid-level-ontology.kif 11270-11272	Wenn Collection ist ein fall von RibCage %n{nicht}, dann memberType ** Collection and RibBone
(=> (instance ?ROOM SelfServiceLaundry) (exists (?WASHER ?DRYER) (and (instance ?WASHER Collection) (memberType ?WASHER ClothesWashingMachine) (located ?WASHER ?ROOM) (instance ?DRYER Collection) (memberType ?DRYER ClothesDryer) (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 25459-25468	Wenn Object ist ein fall von SelfServiceLaundry %n{nicht}, dann es gibt Collection und Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and ClothesWashingMachine und Collection befindet sich an %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and ClothesDryer und Collection befindet sich an %n{nicht}
(=> (instance ?S Skull) (memberType ?S Bone))	Mid-level-ontology.kif 11510-11512	Wenn Collection ist ein fall von Skull %n{nicht}, dann memberType ** Collection and Bone
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?X))))	Mid-level-ontology.kif 25944-25950	Wenn Object ist ein fall von ElectricalOutlet %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und Collection ist ein teil von Object %n{nicht}

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: