(=>
(and
(instance ?JOIN Hiring)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(expects ?ORG
(exists (?FT)
(and
(instance ?FT FinancialTransaction)
(agent ?FT ?ORG)
(destination ?FT ?PERSON)
(earlier
(WhenFn ?JOIN)
(WhenFn ?FT)))))) |
Merge.kif 10878-10890 |
If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true |
(=>
(holdsDuring ?TIME
(attribute ?AGENT Surprise))
(exists (?PART ?PROP)
(and
(temporalPart ?PART
(PastFn ?TIME))
(holdsDuring ?PART
(expects ?AGENT ?PROP))
(holdsDuring ?TIME
(truth ?PROP False))))) |
Mid-level-ontology.kif 21246-21252 |
If surprise is an attribute of X holds during Y, then there exist Z, W such that Z is a part of before Y, X expects W will be true holds during Z, and W is false holds during Y |
(=>
(and
(checkOutTime ?HOTEL ?TIME)
(guest ?GUEST ?HOTEL))
(expects ?HOTEL
(exists (?T ?C)
(and
(instance ?T ?TIME)
(patient ?C ?GUEST)
(instance ?C CheckOutService)
(agent ?C ?HOTEL)
(before
(BeginFn
(WhenFn ?C)) ?T))))) |
Hotel.kif 688-699 |
If one must check out before X at Y and Z is a guest at Y, then Y expects there exist W, V such that W is an instance of X, Z is a patient of V, V is an instance of check-out service, Y is an agent of V, and the beginning of the time of existence of V happens before W will be true |
