(=>
(and
(citizen ?AGENT ?POLITY)
(subProposition UniversalSuffrageLaw
(RegionalLawFn ?POLITY)))
(confersRight
(forall (?VOTINGAGE ?AGE ?ELECTION)
(=>
(and
(citizen ?AGENT ?POLITY)
(suffrageAgeMinimum ?POLITY
(MeasureFn ?VOTINGAGE YearDuration))
(age ?AGENT
(MeasureFn ?AGE YearDuration))
(greaterThanOrEqualTo ?AGE ?VOTINGAGE)
(instance ?ELECTION
(ElectionFn ?POLITY)))
(exists (?VOTING)
(and
(instance ?VOTING
(VotingFn ?ELECTION))
(agent ?VOTING ?AGENT)))))
(RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1132-1152 |
|
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Object)
(instance ?X ?PHYS))
(confersRight
(exists (?PROC)
(and
(instance ?PROC Process)
(or
(resource ?PROC ?X)
(instrument ?PROC ?X)
(patient ?PROC ?X))
(or
(agent ?PROC ?CUST)
(experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 504-520 |
|
(=>
(and
(facility ?AGENT ?OBJ)
(customer ?CUST ?AGENT)
(instance ?X ?OBJ)
(desires ?CUST
(exists (?PROC)
(and
(instance ?PROC IntentionalProcess)
(patient ?PROC ?X)
(agent ?PROC ?CUST)))))
(modalAttribute
(confersRight
(uses ?X ?CUST) ?AGENT ?CUST) Possibility)) |
Dining.kif 336-350 |
|
(=>
(and
(guest ?CUST ?HOTEL)
(stays ?CUST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?R ?ROOM)
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(exists (?O)
(and
(instance ?O ?OBJ)
(located ?O ?R)
(confersRight
(exists (?PROC)
(and
(agent ?PROC ?CUST)
(or
(instrument ?PROC ?O)
(patient ?PROC ?O)
(resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 |
|
(=>
(and
(instance ?AOC AOCnumber)
(instance ?AIRLINE Airline)
(possesses ?AIRLINE ?AOC))
(confersRight
(exists (?AIR)
(and
(instance ?AIR AirTransportationService)
(serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 3188-3198 |
|
(=>
(and
(instance ?AR ArmedReconnaissance)
(agent ?AR ?AGENT)
(patient ?AR ?HOSTILE)
(holdsDuring
(WhenFn ?AR)
(enemy ?AGENT ?HOSTILE)))
(confersRight
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AGENT)
(patient ?ATTACK ?HOSTILE))) ?AR ?AGENT)) |
MilitaryProcesses.kif 89-103 |
|
(=>
(and
(instance ?AWARD LegalAward)
(refers ?AWARD ?ACTION)
(instance ?ACTION LegalAction)
(agent ?ACTION ?PLAINTIFF))
(confersRight
(exists (?GET ?OBJ ?VALUE)
(and
(instance ?GET Getting)
(experiencer ?GET ?PLAINTIFF)
(patient ?GET ?OBJ)
(monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 16200-16212 |
|
(=>
(and
(instance ?INHERIT Inheriting)
(agent ?INHERIT ?HEIR)
(origin ?INHERIT ?PERSON)
(patient ?INHERIT ?PROPERTY))
(exists (?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?PERSON)
(earlier
(WhenFn ?DEATH)
(WhenFn ?INHERIT))
(holdsDuring
(ImmediatePastFn
(WhenFn ?DEATH))
(possesses ?PERSON ?PROPERTY))
(confersRight
(possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR)))) |
Mid-level-ontology.kif 18621-18639 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG AirTransportationIndustry))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?FLY ?PLANE ?OBJ)
(and
(instance ?FLY Transportation)
(or
(patient ?FLY ?P)
(and
(possesses ?P ?OBJ)
(patient ?FLY ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?PLANE)
(instance ?PLANE Aircraft))) ?MEM ?P)))))) |
naics.kif 7953-7978 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG CouriersAndMessengers))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS)
(and
(instance ?TRANS Transportation)
(possesses ?P ?OBJ)
(patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8736-8756 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG PipelineTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ ?PIPE)
(and
(instance ?T Transportation)
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Substance)
(possesses ?ORG ?V)
(instrument ?T ?PIPE)
(instance ?PIPE Pipeline))) ?MEM ?P)))))) |
naics.kif 8465-8488 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG PostalService))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS)
(and
(instance ?TRANS Transportation)
(possesses ?P ?OBJ)
(patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8707-8727 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG RailTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?MOVE ?RR ?OBJ)
(and
(instance ?MOVE Transportation)
(or
(patient ?MOVE ?P)
(and
(possesses ?P ?OBJ)
(patient ?MOVE ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?RR)
(instance ?RR RailVehicle))) ?MEM ?P)))))) |
naics.kif 8034-8059 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG ScenicAndSightseeingTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS ?VEH)
(and
(instance ?TRANS Transportation)
(instance ?TRANS RecreationOrExercise)
(patient ?TRANS ?P)
(possesses ?ORG ?VEH)
(instance ?VEH Vehicle))) ?MEM ?P)))))) |
naics.kif 8528-8549 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG TransitAndGroundPassengerTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V)
(and
(instance ?T Transportation)
(patient ?T ?P)
(possesses ?ORG ?V)
(instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8344-8364 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG TruckTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ)
(and
(instance ?T Transportation)
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Object)
(possesses ?ORG ?V)
(instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8253-8275 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG WarehousingAndStorage))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?B ?T)
(and
(instance ?T TimeInterval)
(instance ?B Building)
(possesses ?P ?OBJ)
(holdsDuring ?T
(located ?B ?OBJ)))) ?MEM ?P)))))) |
naics.kif 8776-8797 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG WaterTransportationIndustry))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ)
(and
(instance ?T Transportation)
(or
(patient ?T ?P)
(and
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?V)
(instance ?V WaterVehicle))) ?MEM ?P)))))) |
naics.kif 8080-8105 |
|
(=>
(and
(instance ?STEAL Stealing)
(destination ?STEAL ?AGENT)
(origin ?STEAL ?VICTIM)
(instance ?VICTIM CognitiveAgent))
(not
(confersRight
(destination ?STEAL ?AGENT) ?VICTIM ?AGENT))) |
Mid-level-ontology.kif 18586-18594 |
|
(=>
(and
(instance ?TA_CTRL TerminalAttackControl)
(agent ?TA_CTRL ?AGENT1)
(patient ?TA_CTRL ?TARGET))
(exists (?AGENT2)
(and
(not
(equal ?AGENT1 ?AGENT2))
(confersRight
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AGENT2)
(patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))) |
MilitaryProcesses.kif 482-498 |
|
(=>
(and
(possesses ?BUS ?PARK)
(instance ?BUS CommercialAgent)
(instance ?PARK ParkingLot)
(instance ?BLDG Building)
(located ?BUS ?BLDG)
(customer ?BUS ?CUST)
(holdsDuring ?T
(located ?CUST ?BLDG))
(instance ?DRIVE Driving)
(patient ?DRIVE ?VEHICLE)
(agent ?DRIVE ?CUST)
(destination ?DRIVE ?BLDG))
(holdsDuring ?T
(confersRight
(and
(instance ?PUT Keeping)
(destination ?PUT ?PARK)
(patient ?PUT ?VEHICLE)) ?BUS ?CUST))) |
TransportDetail.kif 102-121 |
|
(=>
(attribute ?X ArtsAndRecreationTicketingServices)
(hasPurpose ?X
(exists (?SELL ?TICKET ?CUST)
(and
(instance ?SELL Selling)
(patient ?SELL ?TICKET)
(agent ?SELL ?X)
(instance ?TICKET Ticket)
(destination ?SELL ?CUST)
(hasPurpose ?TICKET
(confersRight
(exists (?WATCH ?PERF)
(and
(instance ?WATCH Seeing)
(agent ?WATCH ?CUST)
(patient ?WATCH ?PERF)
(or
(instance ?PERF Performance)
(instance ?PERF Sport)))) ?X ?CUST)))))) |
Hotel.kif 2353-2372 |
|
(=>
(confersObligation ?F ?E ?A)
(confersRight ?F ?E ?A)) |
Law.kif 343-345 |
|
(=>
(instance ?INVOICE Invoice)
(exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(and
(uniqueIdentifier ?NUMBER ?INVOICE)
(buys ?BUYER ?SELLER ?ENT)
(confersRight
(exists (?SELLING)
(and
(before
(BeginFn
(WhenFn ?INVOICE))
(BeginFn
(WhenFn ?SELLING)))
(instance ?SELLING Selling)
(instance ?PRODUCT Product)
(objectTransferred ?SELLING ?PRODUCT)
(refers ?INVOICE ?PRODUCT)
(agent ?SELLING ?SELLER)
(patient ?SELLING ?BUYER))) ?SELLER ?BUYER)))) |
Mid-level-ontology.kif 29868-29888 |
- Wenn Entity ist ein fall von Invoice %n{nicht},
- dann es gibt SymbolicString, CognitiveAgent,, , AutonomousAgent,, , ** Entity, and und ** entity um der einzigartige bezeichner von ** SymbolicString ist ** Entity und buys ** CognitiveAgent, ** AutonomousAgent and ** ** Entity und ** AutonomousAgent erlaubt ** CognitiveAgent, die Aufgabe der Art von es gibt ** entity um der anfang von die zeit des Bestehens von ** Entity geschieht vor der anfang von die zeit des Bestehens von ** ** entity %n{nicht} und ** ** entity ist ein fall von Selling %n{nicht} und ** ** entity ist ein fall von Product %n{nicht} und objectTransferred ** ** entity and ** ** entity und ** Entity umfasst einen hinweis auf ** ** entity und ** ** entity ist der agent von ** AutonomousAgent %n{nicht} und ** CognitiveAgent ist ein patient von ** ** entity %n{nicht} durchzuf�hren %n{nicht}
|
(=>
(instance ?X RestaurantBuilding)
(hasPurpose ?X
(exists (?OWN ?EMP ?EV ?P ?PAY)
(and
(employs ?OWN ?EMP)
(possesses ?OWN ?X)
(instance ?P Human)
(instance ?PAY FinancialTransaction)
(agent ?PAY ?P)
(patient ?PAY ?EMP)
(confersRight ?EMP ?EV ?P)
(instance ?EV Eating)
(agent ?EV ?P)
(eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 22560-22574 |
- Wenn Physical ist ein fall von RestaurantBuilding %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity, and und ** ** entityAY um ** entity beschaeftigt ** ** entity %n{nicht} und ** entity besitzt ** Physical %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** ** entityAY ist ein fall von FinancialTransaction %n{nicht} und ** ** entityAY ist der agent von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entityAY %n{nicht} und ** ** entity erlaubt ** ** entity, die Aufgabe der Art von ** ** entity durchzuf�hren %n{nicht} und ** ** entity ist ein fall von Eating %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und eventLocated ** ** entity and ** Physical %n{nicht}
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |