(<=>
(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 |
beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して 物理 は BeliefGroup の member では 物理 は コレクション の member では memberCount コレクション and 実数1 物理2 は 地理的地域 に located して 物理2 は コレクション の member では memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では |
(<=>
(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 |
ethnicityPercentInRegion 民族, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して 物理 は 民族 の member では 物理 は コレクション の member では memberCount コレクション and 実数1 物理2 は 地理的地域 に located して 物理2 は コレクション の member では memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では |
(<=>
(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 |
languagePercentInRegion 言語, 実数 and 地理的地域 コレクション コレクション, 意識［知覚］を持つ代理(人), 意識［知覚］を持つ代理(人)2, 実数1 and 実数2 意識［知覚］を持つ代理(人) は 地理的地域 に located して 意識［知覚］を持つ代理(人) は コレクション の member では speaksLanguage 意識［知覚］を持つ代理(人) and 言語 memberCount コレクション and 実数1 意識［知覚］を持つ代理(人)2 は 地理的地域 に located して 意識［知覚］を持つ代理(人)2 は コレクション の member では memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では |
(=>
(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 7308-7328 |
|
(=>
(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 |
