(<=>
(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, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** BeliefGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=>
(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 EthnicGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** EthnicGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=>
(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 Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , SentientAgent,, , ** SentientAgent2,, , ** RealNumber1, and und ** RealNumber2 um ** SentientAgent befindet sich an %n{nicht} und ** SentientAgent ist ein Mitglied von ** Collection %n{nicht} und speaksLanguage ** SentientAgent and ** Language und memberCount ** Collection and ** RealNumber1 und ** SentientAgent2 befindet sich an %n{nicht} und ** SentientAgent2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(=>
(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 |