(<=>
(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 1528-1539 |
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 1547-1558 |
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 1566-1577 |
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 703-711 |
|
(=>
(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 794-803 |
|
(=>
(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 7142-7162 |
|
(=>
(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)) |
Cars.kif 1772-1786 |
|
(=>
(and
(instance ?E Eyebrow)
(attribute ?H Healthy)
(part ?E ?H)
(member ?C ?E))
(memberCount ?E 2)) |
Anatomy.kif 1450-1456 |
|
(=>
(and
(instance ?FLEET Fleet)
(fleetSize ?AGENT ?NUM)
(possesses ?AGENT ?FLEET))
(memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 3528-3533 |
|
(=>
(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 2883-2892 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(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 2925-2940 |
|
(=>
(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 30956-30971 |
|
(=>
(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 30898-30908 |
|
(=>
(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 30923-30938 |
|
(=>
(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 10386-10398 |
|
(=>
(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 790-800 |
|
(=>
(coilCount ?WC ?N)
(exists (?C)
(and
(instance ?C Collection)
(memberCount ?C ?N)
(forall (?M)
(=>
(member ?M ?C)
(and
(attribute ?M ClosedTwoDimensionalFigure)
(part ?M ?WC)
(not
(exists (?M2)
(and
(overlapsSpatially ?M2 ?M)
(member ?M2 ?C)))))))))) |
Cars.kif 3117-3133 |
|
(=>
(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 10345-10357 |
|
(=>
(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 1125-1138 |
|
(=>
(instance ?B Bus)
(hasPurpose ?B
(exists (?C ?T ?N ?P)
(and
(instance ?C Collection)
(instance ?T Transportation)
(memberCount ?C ?N)
(greaterThan ?N 11)
(=>
(member ?P ?C)
(patient ?T ?P)))))) |
Transportation.kif 1972-1983 |
|
(=>
(instance ?PARK ParkingLot)
(exists (?C ?N)
(and
(located ?C ?PARK)
(forall (?SLOT)
(=>
(member ?SLOT ?C)
(instance ?SLOT ParkingRegion)))
(memberCount ?C ?N)
(greaterThan ?N 1)))) |
TransportDetail.kif 78-88 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |