| appearance as argument number 1 |
|
| (documentation memberCount EnglishLanguage "(memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG.") | Mid-level-ontology.kif 24280-24281 | |
| (domain memberCount 1 Collection) | Mid-level-ontology.kif 24277-24277 | |
| (domain memberCount 2 Integer) | Mid-level-ontology.kif 24278-24278 | |
| (instance memberCount BinaryPredicate) | Mid-level-ontology.kif 24276-24276 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage memberCount "%2 %n 是 %1 的 member 计数") | domainEnglishFormat.kif 1687-1687 | |
| (format ChineseTraditionalLanguage memberCount "%2 %n 是 %1 的 member 計數") | domainEnglishFormat.kif 1686-1686 | |
| (format EnglishLanguage memberCount "%2 is %n a member count of %1") | domainEnglishFormat.kif 1685-1685 | |
| (termFormat ChineseLanguage memberCount "会员数") | domainEnglishFormat.kif 37010-37010 | |
| (termFormat ChineseTraditionalLanguage memberCount "會員數") | domainEnglishFormat.kif 37009-37009 | |
| (termFormat EnglishLanguage memberCount "member count") | domainEnglishFormat.kif 37008-37008 |
| antecedent |
|
|
| (=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I)) |
VirusProteinAndCellPart.kif 749-753 | |
| (=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M) (memberCount ?G ?N)) (greaterThan ?N 10)) |
Mid-level-ontology.kif 9107-9114 | |
| (=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4182-4190 | |
| (=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3)) |
Mid-level-ontology.kif 23595-23601 | |
| (=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)) |
Mid-level-ontology.kif 24322-24326 | |
| (=> (and (seatsInOrganizationCount ?ORG ?SEATS) (memberCount ?ORG ?MEMBERS)) (greaterThanOrEqualTo ?SEATS ?MEMBERS)) |
Government.kif 2036-2040 | |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT AirTransitway) (instance ?C Collection) (memberType ?C Aircraft) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 3945-3957 | |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT LandTransitway) (instance ?C Collection) (memberType ?C LandVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 3917-3929 | |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT Waterway) (instance ?C Collection) (memberType ?C WaterVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 3931-3943 | |
| (=> (memberCount ?ORG ?NUM) (equal ?NUM (CardinalityFn (KappaFn ?MEM (member ?MEM ?ORG))))) |
Mid-level-ontology.kif 24283-24289 |
| consequent |
|
|
| (<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1529-1540 | |
| (<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1548-1559 | |
| (<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1567-1578 | |
| (=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 709-717 | |
| (=> (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 800-809 | |
| (=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?SUB Substance) (attribute ?SUB Solid) (attribute ?SUB PolyCrystalline) (instance ?S Substance) (surface ?S ?SUB) (not (part ?C ?S))) (exists (?CLNT ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 7212-7232 | |
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N)) |
Mid-level-ontology.kif 23356-23370 | |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (memberCount ?E 2)) |
Anatomy.kif 1485-1491 | |
| (=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 3971-3976 | |
| (=> (and (instance ?G Gear) (part ?T ?G) (instance ?T GearTooth) (gearToothCount ?G ?I)) (exists (?C) (and (instance ?C Collection) (member ?T ?C) (memberCount ?C ?I)))) |
engineering.kif 839-849 | |
| (=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL Collection) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) Likely)) |
Mid-level-ontology.kif 2061-2072 | |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 193-212 | |
| (=> (and (maxRoomCapacity ?ROOM ?NUM) (instance ?X ?ROOM) (element ?X (PropertyFn ?AGENT))) (modalAttribute (exists (?GRP ?PPL) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?NUM) (stays ?GRP ?X))) Possibility)) |
Hotel.kif 479-490 | |
| (=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2894-2903 | |
| (=> (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 2914-2925 | |
| (=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2875-2884 | |
| (=> (and (numberOfCustomers ?NUM ?RESERVE) (fulfillingEntity ?AGENT ?RESERVE) (reservingEntity ?CUST ?RESERVE)) (exists (?GRP) (and (potentialCustomer ?GRP ?AGENT) (instance ?GRP GroupOfPeople) (member ?CUST ?GRP) (memberCount ?GRP ?NUM)))) |
Dining.kif 732-742 | |
| (=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2936-2951 | |
| (=> (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 32894-32909 | |
| (=> (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 32836-32846 | |
| (=> (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 32861-32876 | |
| (=> (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 11717-11729 | |
| (=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP ?PPL) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility))) |
Hotel.kif 794-804 | |
| (=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3177-3194 | |
| (=> (equal ?NUMDEMANDED (DemandFn ?ME)) (exists (?DESIREDITEMS ?ITEMCLASS) (and (instance ?DESIREDITEMS Collection) (memberCount ?DESIREDITEMS ?NUMDEMANDED) (memberType ?ME ?ITEMCLASS) (=> (and (instance ?H Human) (instance ?ITEM ?ITEMCLASS) (=> (and (instance ?B1 Buying) (patient ?B1 ?ITEM)) (capability ?B1 agent ?H)) (desires ?H (exists (?B2 ?ITEM) (and (instance ?B2 Buying) (transactionAmount ?B2 ?CM) (patient ?B2 ?ITEM) (member ?ITEM ?ME) (agent ?B2 ?H))))) (member ?ITEM ?DESIREDITEMS))))) |
Economy.kif 6792-6816 | |
| 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