(=>
(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
(equal ?DEP
(DepartmentOfFn ?COMP ?PHYS))
(subOrganization ?DEP2 ?COMP)
(not
(equal ?DEP ?DEP2))
(instance ?I ?PHYS)
(inScopeOfInterest ?DEP ?I)
(equal ?P1
(ProbabilityFn
(agent ?P ?DEP)))
(equal ?P2
(ProbabilityFn
(agent ?P ?DEP2))))
(greaterThan ?P1 ?P2)) |
Mid-level-ontology.kif 20248-20263 |
If All of the following hold: (1) equal X and the department of Y in Z (2) W is a part of the organization Z (3) equal X and W (4) V is an instance of Y (5) X is interested in V (6) equal U and the probability of X is an agent of T (7) equal S and the probability of W is an agent of T, then U is greater than S |
(=>
(and
(typicallyContainsTemporalPart ?PART ?WHOLE)
(instance ?Y ?WHOLE)
(equal ?PARTPROB
(ProbabilityFn
(exists (?X1)
(and
(instance ?X1 ?PART)
(temporalPart ?X1 ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?X2)
(and
(instance ?X2 ?PART)
(temporalPart ?X2 ?Y)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 25115-25132 |
If a X typically contains a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and V is a part of Z, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and T is a part of Z, then W is greater than U |
(=>
(and
(typicalAction ?PROCESS ?AGENT)
(instance ?A ?AGENT)
(equal ?PPROB
(ProbabilityFn
(exists (?X)
(and
(instance ?X ?PROCESS)
(agent ?X ?A)))))
(equal ?NOTPPROB
(ProbabilityFn
(not
(exists (?Y)
(and
(instance ?Y ?PROCESS)
(agent ?Y ?A)))))))
(greaterThan ?PPROB ?NOTPPROB)) |
Mid-level-ontology.kif 25150-25167 |
If X is a typical action of a Y, Z is an instance of Y, equal W, the probability of there exists V such that V is an instance of X, and Z is an agent of V, and equal U, the probability of there doesn't exist T such that T is an instance of X, and Z is an agent of T, then W is greater than U |
(=>
(and
(typicalPart ?PART ?WHOLE)
(instance ?X ?PART)
(equal ?PARTPROB
(ProbabilityFn
(exists (?Y)
(and
(instance ?Y ?WHOLE)
(part ?X ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?Z)
(and
(instance ?Z ?WHOLE)
(part ?X ?Z)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 25958-25975 |
If a X is typically a part of a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and Z is a part of V, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and Z is a part of T, then W is greater than U |
(=>
(and
(typicallyContainsPart ?PART ?WHOLE)
(instance ?Y ?WHOLE)
(equal ?PARTPROB
(ProbabilityFn
(exists (?X1)
(and
(instance ?X1 ?PART)
(part ?X1 ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?X2)
(and
(instance ?X2 ?PART)
(part ?X2 ?Y)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 25996-26013 |
If a X typically has a part Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and V is a part of Z, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and T is a part of Z, then W is greater than U |
(=>
(and
(typicalTemporalPart ?PART ?WHOLE)
(instance ?X ?PART)
(equal ?PARTPROB
(ProbabilityFn
(exists (?Y)
(and
(instance ?Y ?WHOLE)
(temporalPart ?X ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?Z)
(and
(instance ?Z ?WHOLE)
(temporalPart ?X ?Z)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) |
Cars.kif 1367-1384 |
If a X is typically a part of a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and Z is a part of V, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and Z is a part of T, then W is greater than U |
(=>
(and
(governorSpeed ?V ?Q)
(equal
(MeasureFn ?FAST MilesPerHour)
(SpeedFn ?L1 ?T1))
(equal
(MeasureFn ?SLOW MilesPerHour)
(SpeedFn ?L2 ?T2))
(greaterThan ?FAST ?SLOW)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?FAST MilesPerHour))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?SLOW MilesPerHour)))))
(greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2722-2740 |
If All of the following hold: (1) the maximum speed allowed by X is Y (2) equal Z miles per hour(s) and W per V (3) equal U miles per hour(s) and T per S (4) Z is greater than U (5) equal R and the probability of the measure of X is Z miles per hour(s) (6) equal Q and the probability of the measure of X is U miles per hour(s), then Q is greater than R |
(=>
(and
(topSpeed ?V
(MeasureFn ?Q ?CU))
(instance ?CU CompositeUnitOfMeasure)
(instance ?UL UnitOfLength)
(instance ?UD UnitOfDuration)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(SpeedFn
(MeasureFn ?L1 ?UL)
(MeasureFn ?T1 ?UD)))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(SpeedFn
(MeasureFn ?L2 ?UL)
(MeasureFn ?T2 ?UD)))))
(greaterThan
(SpeedFn ?L1 ?T1) ?Q)
(greaterThan ?Q
(SpeedFn ?L2 ?T2)))
(greaterThan ?SLOWPROB ?FASTPROB)) |
Transportation.kif 1873-1891 |
If All of the following hold: (1) the top speed of X is Y Z(s) (2) Z is an instance of composite unit of measure (3) W is an instance of unit of length (4) V is an instance of unit of duration (5) equal U and the probability of the measure of X is T W(s) per S V(s) (6) equal R and the probability of the measure of X is Q W(s) per P V(s) (7) T per S is greater than Y (8) Y is greater than Q per P, then R is greater than U |
format