(<=>
(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, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2 |
(<=>
(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 groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2 |
(<=>
(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 langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2 |
(=>
(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 |