(=>
(and
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(greaterThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2715-2720 |
If X increases likelihood of Y, equal the probability of Y and Z, and probability of X provided that Y holds is W, then W is greater than Z |
(=>
(and
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(lessThan ?NUMBER2 ?NUMBER1)) |
Merge.kif 2732-2737 |
If X decreases likelihood of Y, equal the probability of Y and Z, and probability of X provided that Y holds is W, then W is less than Z |
(=>
(and
(independentProbability ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(equal ?NUMBER2 ?NUMBER1)) |
Merge.kif 2749-2754 |
If probability of X and Y is independent, equal the probability of Y and Z, and probability of X provided that Y holds is W, then equal W and Z |
(=>
(and
(instance ?D DeliveryService)
(destination ?D ?LOC1)
(deliveryRegion ?AGENT ?REGION)
(conditionalProbability
(located ?LOC1 ?REGION)
(agent ?D ?AGENT) ?NUMBER1)
(conditionalProbability
(not
(located ?LOC1 ?REGION))
(agent ?D ?AGENT) ?NUMBER2))
(lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 552-561 |
If X is an instance of delivery service, X ends up at Y, Z is the delivery area of W, probability of Y is located at Z provided that W is an agent of X holds is V, and probability of Y is not located at Z provided that W is an agent of X holds is U, then U is less than V |
(=>
(and
(instance ?AGENT AutonomousAgent)
(potentialCustomer ?CUST ?AGENT)
(modalAttribute
(and
(instance ?R Reserving)
(destination ?R ?AGENT)) Necessity)
(conditionalProbability
(exists (?RES1)
(and
(instance ?RES1 Reservation)
(reservingEntity ?CUST ?RES1)
(fulfillingEntity ?AGENT ?RES1)))
(customer ?CUST ?AGENT) ?NUM1)
(conditionalProbability
(not
(exists (?RES2)
(and
(instance ?RES2 Reservation)
(reservingEntity ?CUST ?RES2)
(fulfillingEntity ?AGENT ?RES2))))
(customer ?CUST ?AGENT) ?NUM2))
(lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 |
If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
(=>
(and
(conditionalProbability
(attribute ?X ComfortFood)
(attribute ?X HeartHealthyFood) ?NUMBER1)
(conditionalProbability
(attribute ?X ComfortFood)
(not
(attribute ?X HeartHealthyFood)) ?NUMBER2))
(lessThan ?NUMBER1 ?NUMBER2)) |
Dining.kif 1151-1159 |
If probability of comfort food is an attribute of X provided that heart_healthy food is an attribute of X holds is Y and probability of comfort food is an attribute of X provided that heart_healthy food is not an attribute of X holds is Z, then Y is less than Z |
