(<=>
(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 10762-10770 |
|
(=>
(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 10746-10754 |
|
(=>
(and
(instance ?JOIN Hiring)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(employs ?ORG ?PERSON))) |
Merge.kif 10642-10651 |
|
(=>
(and
(instance ?STRIKE LaborStriking)
(agent ?STRIKE ?PERSON)
(instance ?PERSON Human)
(patient ?STRIKE ?ORG)
(instance ?ORG Organization))
(employs ?ORG ?PERSON)) |
Mid-level-ontology.kif 16915-16922 |
|
(=>
(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 20997-21003 |
|
(=>
(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 16837-16843 |
|
(=>
(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 22413-22418 |
|
(=>
(holdsDuring ?T1
(coworker ?H1 ?H2))
(exists (?ORG)
(and
(instance ?ORG Organization)
(holdsDuring ?T1
(and
(employs ?ORG ?H1)
(employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 22964-22973 |
|
(=>
(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 8543-8556 |
|
(=>
(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 22559-22573 |
- 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 |