(=>
(issuedBy ?CERT ?AGENT)
(exists (?P)
(and
(instance ?P IntentionalProcess)
(agent ?P ?AGENT)
(result ?P ?CERT)))) |
Mid-level-ontology.kif 18116-18122 |
If X is an issued by of Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a result of Z |
(=>
(and
(issuedBy ?TICKET ?AGENT)
(instance ?TICKET Ticket)
(possesses ?CUST ?TICKET))
(confersNorm ?AGENT Permission
(exists (?T)
(holdsDuring ?T
(exists (?P)
(and
(instance ?P Process)
(agent ?P ?AGENT)
(experiencer ?P ?CUST))))))) |
Mid-level-ontology.kif 18156-18168 |
If X is an issued by of Y, Y is an instance of ticket, and Z possesses Y, then X confers norm permission for there exists W such that there exists V such that V is an instance of process, X is an agent of V, and Z experiences V holds during W |
(=>
(and
(instance ?Check PayCheck)
(issuedBy ?Check ?Organization)
(instance ?Give Giving)
(destination ?Give ?Agent))
(employs ?Agent ?Organization)) |
FinancialOntology.kif 173-179 |
If X is an instance of pay check, Y is an issued by of X, Z is an instance of giving, and Z ends up at W, then W employs Y |
(=>
(and
(instance ?Card BankCard)
(issuedBy ?Card ?Bank))
(exists (?Account)
(and
(instance ?Account FinancialAccount)
(cardAccount ?Card ?Account)
(accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 |
If X is an instance of bank card and Y is an issued by of X, then there exists Z such that Z is an instance of financial account, Z is a card account of X, and Z is held by Y |
(=>
(and
(instance ?Bond CallableBond)
(issuedBy ?Bond ?Agent))
(capability Call agent ?Agent)) |
FinancialOntology.kif 2518-2522 |
If X is an instance of callable bond and Y is an issued by of X, then Y is capable of doing call as a agent |
(=>
(and
(instance ?T Ticket)
(possesses ?T ?CUST)
(issuedBy ?T ?ORG)
(attribute ?ORG AmusementGamblingAndRecreationIndustries)
(located ?ORG ?LOC))
(confersNorm ?ORG Permission
(exists (?REC)
(and
(instance ?REC RecreationOrExercise)
(experiencer ?REC ?CUST)
(eventLocated ?REC ?LOC))))) |
naics.kif 11453-11465 |
If X is an instance of ticket, X possesses Y, Z is an issued by of X, amusement gambling and recreation industries is an attribute of Z, and Z is located at W, then Z confers norm permission for there exists V such that V is an instance of recreation or exercise, Y experiences V, and V is located at W |
