(<=>
(customerRepresentative ?Person1 ?Person2 ?Org)
(exists (?Service)
(and
(instance ?Service FinancialTransaction)
(employs ?Org ?Person1)
(agent ?Service ?Person1)
(destination ?Service ?Person2)))) |
FinancialOntology.kif 3635-3642 |
customerRepresentative CognitiveAgent, ** CognitiveAgent and Organization genau dann wenn es gibt Process um ** Process ist ein fall von FinancialTransaction %n{nicht} und ** Organization beschaeftigt ** CognitiveAgent %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** Process endet an ** ** CognitiveAgent %n{nicht} |
(=>
(and
(attribute ?X TravelerAccommodation)
(capability RoomCleaningService agent ?X))
(exists (?MAID ?HOTELROOM)
(and
(employs ?X ?MAID)
(attribute ?MAID Maid)
(instance ?HOTELROOM HotelUnit)
(part ?HOTELROOM
(PropertyFn ?X))
(capability RoomCleaningService patient ?HOTELROOM)
(capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1935-1946 |
|
(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 GeopoliticalArea))
(employs
(GovernmentFn ?AGENT1) ?PERSON)) |
Government.kif 4486-4490 |
|
(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 Organization))
(employs ?AGENT1 ?PERSON)) |
Government.kif 4492-4496 |
|
(=>
(and
(instance ?Check PayCheck)
(issuedBy ?Check ?Organization)
(instance ?Give Giving)
(destination ?Give ?Agent))
(employs ?Agent ?Organization)) |
FinancialOntology.kif 171-177 |
|
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(and
(holdsDuring
(BeginFn
(WhenFn ?FIRE))
(employs ?ORG ?PERSON))
(holdsDuring
(EndFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))) |
Merge.kif 10740-10748 |
|
(=>
(and
(instance ?HIRE Hiring)
(instance ?ORG Organization)
(agent ?HIRE ?ORG)
(patient ?HIRE ?PERSON))
(and
(holdsDuring
(BeginFn
(WhenFn ?HIRE))
(not
(employs ?ORG ?PERSON)))
(holdsDuring
(EndFn
(WhenFn ?HIRE))
(employs ?ORG ?PERSON)))) |
Merge.kif 10724-10732 |
|
(=>
(and
(instance ?JOIN Hiring)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(employs ?ORG ?PERSON))) |
Merge.kif 10620-10629 |
|
(=>
(and
(instance ?STRIKE LaborStriking)
(agent ?STRIKE ?PERSON)
(instance ?PERSON Human)
(patient ?STRIKE ?ORG)
(instance ?ORG Organization))
(employs ?ORG ?PERSON)) |
Mid-level-ontology.kif 16916-16923 |
|
(=>
(and
(instance ?X Nursery)
(element ?X
(PropertyFn ?HOTEL))
(attribute ?HOTEL TravelerAccommodation))
(exists (?NANNY ?CARE)
(and
(attribute ?X CommunalAttribute)
(employs ?HOTEL ?NANNY)
(hasPurpose ?NANNY
(and
(instance ?CARE ChildCareService)
(serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1902-1914 |
|
(=>
(and
(representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
(instance ?SENDER Nation)
(instance ?REP CognitiveAgent))
(employs
(GovernmentFn ?SENDER) ?REP)) |
Government.kif 4614-4619 |
|
(=>
(and
(representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
(instance ?SENDER Organization)
(instance ?REP CognitiveAgent))
(employs ?SENDER ?REP)) |
Government.kif 4607-4612 |
|
(=>
(attribute ?PERSON JudgeAtLaw)
(exists (?ORG)
(and
(instance ?ORG JudicialOrganization)
(instance ?ORG GovernmentOrganization)
(employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 20998-21004 |
|
(=>
(attribute ?X BarberShops)
(hasPurpose ?X
(exists (?HAIR ?HUMAN ?CUT ?STYLIST)
(and
(instance ?HAIR Hair)
(part ?HAIR ?HUMAN)
(instance ?HUMAN Human)
(instance ?CUT Cutting)
(patient ?CUT ?HAIR)
(eventLocated ?CUT ?X)
(agent ?CUT ?STYLIST)
(employs ?X ?STYLIST))))) |
naics.kif 11934-11946 |
|
(=>
(capability ChildCareService agent ?X)
(exists (?SITTER)
(and
(employs ?X ?SITTER)
(capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1883-1888 |
|
(=>
(colleague ?A1 ?A2 ?ORG)
(exists (?T)
(holdsDuring ?T
(and
(employs ?ORG ?A1)
(employs ?ORG ?A2))))) |
Mid-level-ontology.kif 16838-16844 |
|
(=>
(employeeContribution ?Agent ?Money ?Period)
(exists (?Org ?Plan)
(and
(instance ?Plan PensionPlan)
(employs ?Org ?Agent)
(agent ?Plan ?Org)
(destination ?Plan ?Agent)))) |
FinancialOntology.kif 3357-3364 |
|
(=>
(holdsDuring ?T1
(attribute ?X GovernmentPerson))
(exists (?GOV)
(and
(instance ?GOV Government)
(holdsDuring ?T1
(employs ?GOV ?X))))) |
Mid-level-ontology.kif 22414-22419 |
|
(=>
(holdsDuring ?T1
(coworker ?H1 ?H2))
(exists (?ORG)
(and
(instance ?ORG Organization)
(holdsDuring ?T1
(and
(employs ?ORG ?H1)
(employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 22965-22974 |
|
(=>
(instance ?DS DrugStore)
(modalAttribute
(exists (?P)
(and
(attribute ?P Pharmacist)
(employs ?DS ?P))) Likely)) |
Medicine.kif 3122-3129 |
|
(=>
(instance ?G GeniusBar)
(hasPurpose ?G
(exists (?M ?CS)
(and
(employs ?M AppleComputerCorporation)
(instance ?CS CustomerSupport)
(agent ?CS ?M)
(located ?CS ?G))))) |
ComputingBrands.kif 3084-3092 |
|
(=>
(instance ?MS MedicalService)
(exists (?AGENT ?HUMAN ?PROC)
(and
(agent ?MS ?AGENT)
(employs ?AGENT ?HUMAN)
(attribute ?HUMAN MedicalDoctor)
(serviceProvider ?MS ?HUMAN)
(or
(instance ?PROC TherapeuticProcess)
(instance ?PROC DiagnosticProcess))
(subProcess ?PROC ?MS)))) |
Hotel.kif 2281-2292 |
|
(=>
(instance ?ORG UnionOrganization)
(exists (?COLL ?MEMBER)
(=>
(member ?MEMBER ?ORG)
(or
(and
(instance ?COLL Corporation)
(employs ?COLL ?MEMBER))
(exists (?CORP)
(and
(instance ?COLL Industry)
(member ?CORP ?COLL)
(employs ?CORP ?MEMBER))))))) |
Mid-level-ontology.kif 8544-8557 |
|
(=>
(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}
|
(=>
(instance ?X SecretarialService)
(exists (?SP ?SR ?SEC)
(and
(serviceProvider ?X ?SP)
(serviceRecipient ?X ?SR)
(employs ?SP ?SEC)
(attribute ?SEC ClericalSecretary)))) |
Hotel.kif 2300-2307 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |