( ! [V__Org,V__Person2,V__Person1] :
((s__instance(V__Org,s__Organization) &
s__instance(V__Person2,s__CognitiveAgent) &
s__instance(V__Person1,s__CognitiveAgent))
=>
(s__customerRepresentative(V__Person1,V__Person2,V__Org)
=>
( ? [V__Service] :
((s__instance(V__Service,s__FinancialTransaction) &
s__employs(V__Org,V__Person1)
&
s__agent(V__Service,V__Person1)
&
s__destination(V__Service,V__Person2)))))
&
(( ? [V__Service] :
((s__instance(V__Service,s__FinancialTransaction) &
s__employs(V__Org,V__Person1)
&
s__agent(V__Service,V__Person1)
&
s__destination(V__Service,V__Person2))))
=>
s__customerRepresentative(V__Person1,V__Person2,V__Org))
)
)
|
FinancialOntology.kif 3534-3541 |
A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent |
( ! [V__X] :
(s__instance(V__X,s__Agent) =>
(s__attribute(V__X,s__TravelerAccommodation) &
s__capability(s__RoomCleaningService,s__agent__m,V__X))
=>
( ? [V__MAID, V__HOTELROOM] :
((s__instance(V__MAID,s__CognitiveAgent) &
(s__employs(V__X,V__MAID)
&
s__attribute(V__MAID,s__Maid) &
s__instance(V__HOTELROOM,s__HotelUnit) &
s__part(V__HOTELROOM,s__PropertyFn(V__X))
&
s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
&
s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))
)
)
|
Hotel.kif 1883-1894 |
|
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
((s__instance(V__AGENT2,s__Agent) &
s__instance(V__POSITION,s__Position) &
s__instance(V__PERSON,s__Human))
=>
(s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
&
s__instance(V__AGENT1,s__GeopoliticalArea))
=>
s__employs(s__GovernmentFn(V__AGENT1)
,V__PERSON)
)
)
|
Government.kif 4417-4421 |
|
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
((s__instance(V__AGENT2,s__Agent) &
s__instance(V__POSITION,s__Position) &
s__instance(V__PERSON,s__Human))
=>
(s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
&
s__instance(V__AGENT1,s__Organization))
=>
s__employs(V__AGENT1,V__PERSON)
)
)
|
Government.kif 4423-4427 |
|
( ! [V__Agent,V__Give,V__Check,V__Organization] :
((s__instance(V__Agent,s__Agent) &
s__instance(V__Organization,s__CognitiveAgent))
=>
(s__instance(V__Check,s__PayCheck) &
s__issuedBy(V__Check,V__Organization)
&
s__instance(V__Give,s__Giving) &
s__destination(V__Give,V__Agent))
=>
s__employs(V__Agent,V__Organization)
)
)
|
FinancialOntology.kif 171-177 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9995-10003 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9979-9987 |
|
( ! [V__STRIKE,V__ORG,V__PERSON] :
((s__instance(V__STRIKE,s__LaborStriking) &
s__agent(V__STRIKE,V__PERSON)
&
s__instance(V__PERSON,s__Human) &
s__patient(V__STRIKE,V__ORG)
&
s__instance(V__ORG,s__Organization))
=>
s__employs(V__ORG,V__PERSON)
)
)
|
Mid-level-ontology.kif 14472-14479 |
|
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1850-1862 |
|
( ! [V__REP,V__RECEIVER,V__SENDER] :
(s__instance(V__RECEIVER,s__Agent) =>
(s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
&
s__instance(V__SENDER,s__Nation) &
s__instance(V__REP,s__CognitiveAgent))
=>
s__employs(s__GovernmentFn(V__SENDER)
,V__REP)
)
)
|
Government.kif 4545-4550 |
|
( ! [V__REP,V__RECEIVER,V__SENDER] :
(s__instance(V__RECEIVER,s__Agent) =>
(s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
&
s__instance(V__SENDER,s__Organization) &
s__instance(V__REP,s__CognitiveAgent))
=>
s__employs(V__SENDER,V__REP)
)
)
|
Government.kif 4538-4543 |
|
( ! [V__PERSON] :
(s__instance(V__PERSON,s__CognitiveAgent) =>
s__attribute(V__PERSON,s__JudgeAtLaw) =>
( ? [V__ORG] :
((s__instance(V__ORG,s__JudicialOrganization) &
s__instance(V__ORG,s__GovernmentOrganization) &
s__employs(V__ORG,V__PERSON))))
)
)
|
Mid-level-ontology.kif 18679-18685 |
|
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 11857-11869 |
|
( ! [V__X] :
(s__instance(V__X,s__Agent) =>
s__capability(s__ChildCareService,s__agent__m,V__X)
=>
( ? [V__SITTER] :
((s__instance(V__SITTER,s__CognitiveAgent) &
(s__employs(V__X,V__SITTER)
&
s__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER)))))
)
)
|
Hotel.kif 1831-1836 |
|
( ! [V__Period,V__Agent,V__Money] :
((s__instance(V__Period,s__TimeInterval) &
s__instance(V__Agent,s__Human) &
s__instance(V__Money,s__CurrencyMeasure))
=>
s__employeeContribution(V__Agent,V__Money,V__Period)
=>
( ? [V__Org, V__Plan] :
((s__instance(V__Org,s__Agent) &
(s__instance(V__Plan,s__PensionPlan) &
s__employs(V__Org,V__Agent)
&
s__agent(V__Plan,V__Org)
&
s__destination(V__Plan,V__Agent)))))
)
)
|
FinancialOntology.kif 3252-3259 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20295-20300 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20864-20871 |
|
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3057-3065 |
|
( ! [V__MS] :
(s__instance(V__MS,s__MedicalService) =>
( ? [V__AGENT, V__HUMAN, V__PROC] :
((s__instance(V__AGENT,s__Agent) &
s__instance(V__HUMAN,s__CognitiveAgent) &
(s__agent(V__MS,V__AGENT)
&
s__employs(V__AGENT,V__HUMAN)
&
s__attribute(V__HUMAN,s__MedicalDoctor) &
s__serviceProvider(V__MS,V__HUMAN)
&
(s__instance(V__PROC,s__TherapeuticProcess) |
s__instance(V__PROC,s__DiagnosticProcess))
&
s__subProcess(V__PROC,V__MS)))))
)
)
|
Hotel.kif 2227-2238 |
|
( ! [V__MEMBER,V__ORG] :
(s__instance(V__MEMBER,s__CognitiveAgent) =>
s__instance(V__ORG,s__UnionOrganization) =>
( ? [V__COLL] :
(s__member(V__MEMBER,V__ORG)
=>
((s__instance(V__COLL,s__Corporation) &
s__employs(V__COLL,V__MEMBER))
|
( ? [V__CORP] :
((s__instance(V__CORP,s__Agent) &
(s__instance(V__COLL,s__Industry) &
s__member(V__CORP,V__COLL)
&
s__employs(V__CORP,V__MEMBER))))))))
)
)
|
Mid-level-ontology.kif 8270-8283 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20441-20455 |
|
( ! [V__X] :
(s__instance(V__X,s__SecretarialService) =>
( ? [V__SP, V__SR, V__SEC] :
((s__instance(V__SP,s__CognitiveAgent) &
s__instance(V__SR,s__CognitiveAgent) &
s__instance(V__SEC,s__CognitiveAgent) &
(s__serviceProvider(V__X,V__SP)
&
s__serviceRecipient(V__X,V__SR)
&
s__employs(V__SP,V__SEC)
&
s__attribute(V__SEC,s__ClericalSecretary)))))
)
)
|
Hotel.kif 2246-2253 |
|
( ! [V__MONEY,V__TIME,V__ORG,V__PERSON] :
((s__instance(V__MONEY,s__CurrencyMeasure) &
s__instance(V__TIME,s__TimeDuration) &
s__instance(V__ORG,s__Organization) &
s__instance(V__PERSON,s__Human))
=>
s__monetaryWage(V__ORG,V__PERSON,V__TIME,V__MONEY)
=>
s__employs(V__ORG,V__PERSON)
)
)
|
Mid-level-ontology.kif 14528-14530 |
|
( ! [V__AGENT,V__POS] :
((s__instance(V__AGENT,s__Agent) &
s__instance(V__POS,s__RelationalAttribute))
=>
s__orgStaff(V__AGENT,V__POS)
=>
( ? [V__H] :
((s__instance(V__H,s__CognitiveAgent) &
(s__employs(V__AGENT,V__H)
&
s__attribute(V__H,V__POS)))))
)
)
|
Hotel.kif 603-608 |
|
( ! [V__ORG,V__PERSON1,V__PERSON2] :
((s__instance(V__ORG,s__Organization) &
s__instance(V__PERSON1,s__Human) &
s__instance(V__PERSON2,s__Human))
=>
s__subordinateInOrganization(V__ORG,V__PERSON1,V__PERSON2)
=>
s__employs(V__ORG,V__PERSON1)
)
)
|
Mid-level-ontology.kif 20622-20624 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
