Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DivisionFn |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, quotient__m, "division") | domainEnglishFormat.kif 19992-19992 | |
| s__termFormat(s__ChineseTraditionalLanguage, quotient__m, "部") | domainEnglishFormat.kif 19993-19993 | |
| s__termFormat(s__ChineseLanguage, quotient__m, "部") | domainEnglishFormat.kif 19994-19994 | |
| s__format(s__EnglishLanguage, quotient__m, "%*[/]") | english_format.kif 688-688 |
| antecedent |
|
|
| ! [V__NUMBER2,V__NUMBER1,V__NUMBER] : (((s__instance(V__NUMBER2,s__Integer) & s__instance(V__NUMBER1,s__Integer) & s__instance(V__NUMBER,s__Integer)) => ((~((V__NUMBER2 = n__0)) & (s__AdditionFn(s__MultiplicationFn(s__FloorFn(s__DivisionFn(V__NUMBER1,V__NUMBER2)) ,V__NUMBER2) ,V__NUMBER) = V__NUMBER1)) => (s__RemainderFn(V__NUMBER1,V__NUMBER2) = V__NUMBER))) )
|
Merge.kif 5229-5240 | If equal X and 0 and equal (the largest integer less than or equal to Y and X and X and Z) and Y, then equal Y mod X and Z |
| ! [V__O,V__L,V__S,V__V1,V__V2,V__LM,V__VM] : (((s__instance(V__O,s__SelfConnectedObject) & s__instance(V__L,s__RealNumber) & s__instance(V__S,s__Object) & s__instance(V__V1,s__RealNumber) & s__instance(V__V2,s__RealNumber)) => ((s__approximateDiameter(V__O,s__MeasureFn(V__L,V__LM)) & s__sphereRadius(V__S,s__MeasureFn(s__DivisionFn(V__L,n__2_0) ,V__LM)) & s__measure(V__S,s__MeasureFn(V__V1,V__VM)) & s__measure(V__O,s__MeasureFn(V__V2,V__VM)) & s__instance(V__LM,s__UnitOfLength) & s__instance(V__VM,s__UnitOfVolume)) => (V__V1 = V__V2))) )
|
Mid-level-ontology.kif 19882-19893 | If All of the following hold: (1) the approximate diameter of X is Y Z(s) (2) the radius of W is Y and 2.0 Z(s) (3) the measure of W is V U(s) (4) the measure of X is T U(s) (5) Z is an instance of unit of length (6) U is an instance of unit of volume, then equal V and T |
| ! [V__P1,V__N1,V__P2,V__N2,V__O,V__R] : (((s__instance(V__P1,s__Object) & s__instance(V__N1,s__RealNumber) & s__instance(V__P2,s__Object) & s__instance(V__N2,s__RealNumber) & s__instance(V__O,s__Object) & s__instance(V__R,s__RealNumber)) => ((s__measure(V__P1,s__MeasureFn(V__N1,s__Lumen)) & s__measure(V__P2,s__MeasureFn(V__N2,s__Lumen)) & s__part(V__P1,V__O) & s__part(V__P2,V__O) & ~((V__P1 = V__P2)) & s__greaterThan(V__N1,V__N2) & (s__DivisionFn(V__N1,V__N2) = V__R) & s__contrastRatio(V__O,V__R)) => ~((? [V__P3,V__P4,V__N3,V__N4] : ((s__instance(V__P3,s__Object) & s__instance(V__P4,s__Object) & s__instance(V__N3,s__RealNumber) & s__instance(V__N4,s__RealNumber) & (s__measure(V__P3,s__MeasureFn(V__N3,s__Lumen)) & s__measure(V__P4,s__MeasureFn(V__N4,s__Lumen)) & s__part(V__P3,V__O) & s__part(V__P4,V__O) & ~((V__P3 = V__P4)) & s__greaterThan(V__N3,V__N4) & s__greaterThan(s__DivisionFn(V__N3,V__N4) ,V__R)))))))) )
|
ComputingBrands.kif 3641-3662 | If All of the following hold: (1) the measure of X is Y lumen(s) (2) the measure of Z is W lumen(s) (3) X is a part of V (4) Z is a part of V (5) equal X and Z (6) Y is greater than W (7) equal Y, W, and U (8) the contrast ratio of V is U, then there don't exist T, S,, , R and Q such that the measure of T is R lumen(s) and the measure of S is Q lumen(s) and T is a part of V and S is a part of V and equal T and S and R is greater than Q and R and Q is greater than U |
| ! [V__X,V__Y,V__Z,V__C,V__CC] : (((s__instance(V__X,s__RealNumber) & s__instance(V__Y,s__RealNumber) & s__instance(V__Z,s__RealNumber)) => ((s__instance(V__C,s__CoffeeArabica) & s__measure(V__C,s__MeasureFn(V__X,s__Gram)) & s__instance(V__CC,s__Caffeine) & s__part(V__CC,V__C) & s__measure(V__CC,s__MeasureFn(V__Y,s__Gram)) & (V__Z = s__DivisionFn(V__Y,V__X))) => (s__greaterThanOrEqualTo(V__Z,n__0_008) & s__lessThanOrEqualTo(V__Z,n__0_014)))) )
|
Economy.kif 4978-4991 | If All of the following hold: (1) X is an instance of coffee arabica (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.008 and V is less than or equal to 0.014 |
| ! [V__X,V__Y,V__Z,V__C,V__CC] : (((s__instance(V__X,s__RealNumber) & s__instance(V__Y,s__RealNumber) & s__instance(V__Z,s__RealNumber)) => ((s__instance(V__C,s__CoffeeRobusta) & s__measure(V__C,s__MeasureFn(V__X,s__Gram)) & s__instance(V__CC,s__Caffeine) & s__part(V__CC,V__C) & s__measure(V__CC,s__MeasureFn(V__Y,s__Gram)) & (V__Z = s__DivisionFn(V__Y,V__X))) => (s__greaterThanOrEqualTo(V__Z,n__0_017) & s__lessThanOrEqualTo(V__Z,n__0_04)))) )
|
Economy.kif 5002-5015 | If All of the following hold: (1) X is an instance of coffee robusta (2) the measure of X is Y gram(s) (3) Z is an instance of caffeine (4) Z is a part of X (5) the measure of Z is W gram(s) (6) equal V, W, and Y, then V is greater than or equal to 0.017 and V is less than or equal to 0.04 |
| ! [V__Account,V__Balance,V__CUNIT,V__Rate,V__Amount,V__Period,V__Rate_Decimal] : (((s__instance(V__Account,s__FinancialAccount) & s__instance(V__Balance,s__RealNumber) & s__instance(V__CUNIT,s__UnitOfMeasure) & s__instance(V__Rate,s__RealNumber) & s__instance(V__Amount,s__RealNumber) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Rate_Decimal,s__RealNumber)) => ((s__principalAmount(V__Account,s__MeasureFn(V__Balance,V__CUNIT)) & s__fixedInterestRate(V__Account,V__Rate) & s__simpleInterest(V__Account,s__MeasureFn(V__Amount,V__CUNIT) ,V__Period) & (V__Rate_Decimal = s__DivisionFn(V__Rate,n__100))) => (V__Amount = s__MultiplicationFn(V__Balance,V__Rate_Decimal)))) )
|
FinancialOntology.kif 559-569 | If X Y(s) is a principal amount of Z, W is a fixed interest rate of Z, Z is simple interest V Y(s) for U, and equal ?Rate_Decimal, W, and 100, then equal V, X, and ?Rate_Decimal |
| ! [V__Account,V__Interest,V__CUNIT,V__Period,V__Principal,V__Rate_Decimal,V__Rate] : (((s__instance(V__Account,s__FinancialAccount) & s__instance(V__Interest,s__RealNumber) & s__instance(V__CUNIT,s__UnitOfMeasure) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Principal,s__RealNumber) & s__instance(V__Rate_Decimal,s__RealNumber) & s__instance(V__Rate,s__RealNumber)) => ((s__simpleInterest(V__Account,s__MeasureFn(V__Interest,V__CUNIT) ,V__Period) & s__principalAmount(V__Account,s__MeasureFn(V__Principal,V__CUNIT)) & (V__Rate_Decimal = s__DivisionFn(V__Interest,V__Principal)) & (V__Rate = s__MultiplicationFn(V__Rate_Decimal,n__100_0))) => s__interestRatePerPeriod(V__Account,V__Rate,V__Period))) )
|
FinancialOntology.kif 608-618 | If X is simple interest Y Z(s) for W, V Z(s) is a principal amount of X, equal ?Rate_Decimal, Y, and V, and equal U, ?Rate_Decimal, and 100.0, then X is interest rate per period U for W |
| ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] : (((s__instance(V__REGION,s__GeographicArea) & s__instance(V__AMOUNT,s__RealNumber) & s__instance(V__TOTAL,s__RealNumber) & s__instance(V__FRACTION,s__RealNumber)) => ((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT)) & s__instance(V__UNIT,s__UnitOfArea) & s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT)) & (V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL))) => s__irrigatedLandArea(V__REGION,s__MeasureFn(V__FRACTION,V__UNIT)))) )
|
Geography.kif 3670-3680 | If X Y(s) is an irrigated land area of Z, Y is an instance of unit of area, W Y(s) is a total area of Z, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
| ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] : (((s__instance(V__REGION,s__GeographicArea) & s__instance(V__AMOUNT,s__RealNumber) & s__instance(V__TOTAL,s__RealNumber) & s__instance(V__FRACTION,s__RealNumber)) => ((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT)) & s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT)) & s__instance(V__UNIT,s__UnitOfArea) & (V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL))) => s__irrigatedLandArea(V__REGION,s__MeasureFn(V__FRACTION,V__UNIT)))) )
|
Geography.kif 3682-3692 | If X Y(s) is an irrigated land area of Z, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
| ! [V__OUT,V__IN,V__LEN,V__N,V__PIVOT,V__NEW,V__S] : (((s__instance(V__OUT,s__SymbolicString) & s__instance(V__IN,s__SymbolicString) & s__instance(V__LEN,s__NonnegativeInteger) & s__instance(V__N,s__NonnegativeInteger) & s__instance(V__PIVOT,s__Integer) & s__instance(V__NEW,s__NonnegativeInteger) & s__instance(V__S,s__SymbolicString)) => (((V__OUT = s__ReverseFn(V__IN)) & (V__LEN = s__StringLengthFn(V__IN)) & s__greaterThan(V__LEN,n__1) & s__greaterThan(V__N,n__0) & s__lessThan(V__N,V__LEN) & (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1) ,n__2))) & (V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N) ,V__PIVOT)) & (V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N)))) => (V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW))))) )
|
Media.kif 2997-3018 | If All of the following hold: (1) equal X and the reverse of Y (2) equal Z and the length of Y (3) Z is greater than 1 (4) W is greater than 0 (5) W is less than Z (6) equal V and the ceiling of (Z and 1) and 2 (7) equal U and ((V and W) and V) (8) equal T and the sub-string of Y from W to (1 and W), then equal T and the sub-string of X from U to (1 and U) |
| ! [V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__INFANT : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__BirthsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) | People.kif 99-114 | If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V |
| ! [V__AREA : $i,V__DEATH : $i,V__DEATHCOUNT : $int,V__PERSON : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__DEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__instance(V__PERSON, s__Human) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__DEATHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) | People.kif 152-167 | If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the deaths per thousand of X, U, and V |
| ! [V__ROBOT,V__LENGTHLIMIT,V__UNIT,V__INSTANCE,V__OBJECT,V__LENGTH,V__WIDTH,V__HEIGHT,V__RADIUS] : (((s__instance(V__ROBOT,s__CarryBot) & s__instance(V__LENGTHLIMIT,s__RealNumber) & s__instance(V__UNIT,s__UnitOfMeasure) & s__instance(V__INSTANCE,s__Object) & s__instance(V__OBJECT,s__Class) & s__subclass(V__OBJECT,s__Object) & s__instance(V__LENGTH,s__RealNumber) & s__instance(V__WIDTH,s__RealNumber) & s__instance(V__HEIGHT,s__RealNumber) & s__instance(V__RADIUS,s__RealNumber)) => ((s__lengthLimit(V__ROBOT,s__MeasureFn(V__LENGTHLIMIT,V__UNIT)) & s__instance(V__INSTANCE,V__OBJECT) & s__subclass(V__OBJECT,s__Object) & ((s__defaultMaximumLength(V__OBJECT,s__MeasureFn(V__LENGTH,V__UNIT)) & s__defaultMaximumWidth(V__OBJECT,s__MeasureFn(V__WIDTH,V__UNIT)) & s__defaultMaximumHeight(V__OBJECT,s__MeasureFn(V__HEIGHT,V__UNIT))) | ((s__greaterThan(V__LENGTH,V__LENGTHLIMIT) & s__greaterThan(V__WIDTH,V__LENGTHLIMIT)) | (s__greaterThan(V__LENGTH,V__LENGTHLIMIT) & s__greaterThan(V__HEIGHT,V__LENGTHLIMIT)) | (s__greaterThan(V__WIDTH,V__LENGTHLIMIT) & s__greaterThan(V__HEIGHT,V__LENGTHLIMIT))) | (s__defaultMaximumSphereRadius(V__OBJECT,s__MeasureFn(V__RADIUS,V__UNIT)) & s__greaterThan(s__MultiplicationFn(V__RADIUS,n__2) ,s__DivisionFn(V__LENGTHLIMIT,n__2))))) => ~(s__canCarry(V__ROBOT,V__INSTANCE)))) )
|
Robot.kif 61-86 | If lengthLimit X and Y Z(s), W is an instance of V, V is a subclass of object, and At least one of the following holds: (1) the maximum expected length of V is U Z(s), the maximum expected width of V is T Z(s), and the maximum expected height of V is S Z(s) (2) At least one of the following holds: (1) U is greater than Y and T is greater than Y (2) U is greater than Y and S is greater than Y (3) T is greater than Y and S is greater than Y (3) the maximum expected radius of V is R Z(s) and R, 2 is greater than Y, and 2, then canCarry X and W |
| consequent |
|
|
| ! [V__A,V__L] : (((s__instance(V__A,s__RealNumber) & s__instance(V__L,s__List)) => (((V__A = s__AverageFn(V__L)) & s__greaterThan(s__ListLengthFn(V__L) ,n__0)) => (V__A = s__DivisionFn(s__ListSumFn(V__L) ,s__ListLengthFn(V__L))))) )
|
Merge.kif 3388-3395 | If equal X and the average of the numbers in Y and length of Y is greater than 0, then equal X, the sum of Y, and length of Y |
| ! [V__NUMBER1,V__NUMBER2,V__NUMBER] : (((s__instance(V__NUMBER1,s__Integer) & s__instance(V__NUMBER2,s__Integer) & s__instance(V__NUMBER,s__Integer)) => (((s__RemainderFn(V__NUMBER1,V__NUMBER2) = V__NUMBER) & ~((V__NUMBER2 = n__0))) => (s__AdditionFn(s__MultiplicationFn(s__FloorFn(s__DivisionFn(V__NUMBER1,V__NUMBER2)) ,V__NUMBER2) ,V__NUMBER) = V__NUMBER1))) )
|
Merge.kif 5216-5227 | If equal X mod Y and Z and equal Y and 0, then equal (the largest integer less than or equal to X and Y and Y and Z) and X |
| ! [V__DEGREE] : ((s__instance(V__DEGREE,s__RealNumber) => (s__TangentFn(V__DEGREE) = s__DivisionFn(s__SineFn(V__DEGREE) ,s__CosineFn(V__DEGREE)))) )
|
Merge.kif 5362-5368 | If X is an instance of real number, then equal the tangent of X, the sine of X, and the cosine of X |
| ! [V__O1,V__O2,V__N,V__E1,V__E2,V__N1,V__U,V__N2,V__E3,V__N3,V__E4] : (((s__instance(V__O1,s__Object) & s__instance(V__O2,s__Object) & s__instance(V__N,s__RealNumber) & s__instance(V__E1,s__Object) & s__instance(V__E2,s__Object) & s__instance(V__N1,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__N2,s__RealNumber) & s__instance(V__E3,s__Object) & s__instance(V__N3,s__RealNumber) & s__instance(V__E4,s__Object)) => ((s__relativeAngle(V__O1,V__O2,V__N) & s__physicalEnd(V__E1,V__O1) & s__physicalEnd(V__E2,V__O1) & ~((V__E1 = V__E2)) & s__length(V__O1,s__MeasureFn(V__N1,V__U)) & s__length(V__O2,s__MeasureFn(V__N2,V__U)) & s__distance(V__E1,V__E3,s__MeasureFn(V__N3,V__U)) & s__physicalEnd(V__E3,V__O2) & s__physicalEnd(V__E4,V__O2) & ~((V__E3 = V__E4)) & ~(s__meetsSpatially(V__E1,V__E3))) => (V__N = s__ArcCosineFn(s__DivisionFn(s__SubtractionFn(s__SubtractionFn(s__MultiplicationFn(V__N3,V__N3) ,s__MultiplicationFn(V__N1,V__N1)) ,s__MultiplicationFn(V__N2,V__N2)) ,s__MultiplicationFn(n__2_0,s__MultiplicationFn(V__N1,V__N2))))))) )
|
Merge.kif 18247-18272 | If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S |
| ! [V__QUANTITY1,V__U,V__AREA,V__QUANTITY2] : (((s__instance(V__QUANTITY1,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__AREA,s__GeopoliticalArea) & s__instance(V__QUANTITY2,s__RealNumber)) => ((s__PerCapitaFn(s__MeasureFn(V__QUANTITY1,V__U) ,V__AREA) = s__MeasureFn(V__QUANTITY2,V__U)) => (? [V__POPULATION] : ((s__instance(V__POPULATION,s__Integer) & ((V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA))) & (V__QUANTITY2 = s__DivisionFn(V__QUANTITY1,V__POPULATION)))))))) )
|
Mid-level-ontology.kif 9383-9396 | If equal the per capita 1 of %2 and X Y(s), then there exists Z such that equal Z, the number of instances in the resident of W, equal X, V, and Z |
| ! [V__OBJECT,V__NUMBER] : (((s__instance(V__OBJECT,s__Physical) & s__instance(V__NUMBER,s__RealNumber)) => ((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass)) => s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16_0) ,s__PoundMass))) & (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16_0) ,s__PoundMass)) => s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))) )
|
Mid-level-ontology.kif 14890-14895 | The measure of X is Y Ounce(s) if and only if the measure of X is Y and 16.0 pound mass(s) |
| ! [V__DC : $real,V__DU : $i,V__PROC : $i,V__Q : $real,V__QUANT : $i,V__RES : $i,V__T : $real,V__U : $i,V__X : $real,V__Y : $i] : (((s__resourceConsumption(V__PROC, V__QUANT) & s__instance(V__QUANT, s__FunctionQuantity) & s__resource(V__PROC, V__RES) & V__QUANT = s__PerFn(s__MeasureFn(V__Q, V__U), s__MeasureFn(V__DC, V__DU)) & s__duration(s__WhenFn(V__PROC), s__MeasureFn(V__T, V__DU)) & s__holdsDuring(s__BeginFn(s__WhenFn(V__PROC)), s__measure(V__RES, s__MeasureFn(V__X, V__U))) & s__holdsDuring(s__EndFn(s__WhenFn(V__PROC)), s__measure(V__RES, s__MeasureFn(V__Y, V__U)))) => V__Y = s__MeasureFn($difference(V__X ,$product(V__T ,s__DivisionFn(V__Q, V__DC))), V__U))) | Mid-level-ontology.kif 18957-18983 | If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s) |
| ! [V__PROCESS : $i] : ((s__property(V__PROCESS, s__ChemicalEquilibrium) => ( ? [V__RATIO:$real, V__TIME:$i, V__RESOURCE:$real, V__RESULT:$real] : (((s__holdsDuring(V__TIME, s__resource(V__PROCESS, V__RESOURCE)) & s__holdsDuring(V__TIME, s__result(V__PROCESS, V__RESULT))) => V__RATIO = s__DivisionFn(V__RESOURCE, V__RESULT)))))) | Mid-level-ontology.kif 21535-21542 | If X the attribute chemical equilibrium, then there exist Y, Z,, , W, V such that W is a resource for X holds during Z, V is a result of X holds during Zequal Y, W, and V |
| ! [V__D,V__A,V__U,V__P] : ((s__instance(V__D,s__RealNumber) => ((s__instance(V__A,s__AstronomicalBody) & s__approximateDiameter(V__A,s__MeasureFn(V__D,V__U)) & s__instance(V__U,s__UnitOfLength) & s__instance(V__P,s__PointInSpace) & s__part(V__P,V__A)) => (? [V__C] : ((s__instance(V__C,s__PointInSpace) & ((V__C = s__CenterOfPlanetFn(V__A)) & s__distance(V__C,V__P,s__MeasureFn(s__DivisionFn(V__D,n__2_0) ,V__U)))))))) )
|
Mid-level-ontology.kif 28094-28108 | If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s) |
| ! [V__N1 : $real,V__N2 : $real] : ((s__approximateValue(V__N1, V__N2) => s__modalAttribute(($greater(0.9,s__DivisionFn(V__N1, V__N2))), s__Unlikely))) | Mid-level-ontology.kif 32446-32452 | If the approximate value of X is Y, then the statement 0.9 is greater than X and Y has the modal force of unlikely |
| ! [V__N1 : $real,V__N2 : $real] : ((s__approximateValue(V__N1, V__N2) => s__modalAttribute(($greater(0.9,s__DivisionFn(V__N2, V__N1))), s__Unlikely))) | Mid-level-ontology.kif 32454-32460 | If the approximate value of X is Y, then the statement 0.9 is greater than Y and X has the modal force of unlikely |
| ! [V__H,V__D] : (((s__instance(V__H,s__RealNumber) & s__instance(V__D,s__Device)) => ((s__MeasureFn(V__H,s__HourDuration) = s__MTBFInstanceFn(V__D)) => (V__H = s__DivisionFn(s__AdditionFn(s__ListSumFn(s__PhysicalQuantityToNumberFn(s__DeviceUpTimeDurationListFn(V__D))) ,s__ListSumFn(s__PhysicalQuantityToNumberFn(s__DevicePlannedDownTimeDurationListFn(V__D)))) ,s__ListLengthFn(s__DeviceFailTimeDurationListFn(V__D)))))) )
|
Mid-level-ontology.kif 34359-34373 | If equal X hour duration(s) and The MTBF of Y is HourDuration, then equal X and (the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is and the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is) and length of The List of deviceFailTime duration for Y is |
| ! [V__X,V__D] : (((s__instance(V__X,s__RealNumber) & s__instance(V__D,s__Device)) => ((s__MeasureFn(V__X,s__HourDuration) = s__MTTRepairInstanceFn(V__D)) => (V__X = s__DivisionFn(s__ListSumFn(s__PhysicalQuantityToNumberFn(s__DeviceFailTimeDurationListFn(V__D))) ,s__ListLengthFn(s__DeviceFailTimeDurationListFn(V__D)))))) )
|
Mid-level-ontology.kif 34644-34654 | If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceFailTime duration for Y is, and length of The List of deviceFailTime duration for Y is |
| ! [V__X,V__D] : (((s__instance(V__X,s__RealNumber) & s__instance(V__D,s__Device)) => ((s__MeasureFn(V__X,s__HourDuration) = s__MTTRecoveryInstanceFn(V__D)) => (V__X = s__DivisionFn(s__ListSumFn(s__PhysicalQuantityToNumberFn(s__TimeToRecoveryDurationListFn(V__D))) ,s__ListLengthFn(s__TimeToRecoveryDurationListFn(V__D)))))) )
|
Mid-level-ontology.kif 34737-34747 | If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The list of time to recovery duration for Y is, and length of The list of time to recovery duration for Y is |
| ! [V__A1 : $i,V__A1M : $real,V__A2 : $i,V__A2M : $real,V__C : $i,V__EC : $i,V__F1 : $i,V__F1M : $real,V__F2 : $i,V__F2M : $real,V__FSC1 : $i,V__FSC2 : $i,V__M : $i,V__MIX1 : $i,V__MIX2 : $i,V__U : $i] : (((s__instance(V__EC, s__EngineChoke) & s__holdsDuring(V__FSC1, s__attribute(V__EC, s__DeviceOn)) & s__holdsDuring(V__FSC2, s__attribute(V__EC, s__DeviceOff)) & s__instance(V__C, s__EngineCylinder) & s__capacity(V__C, V__M) & s__instance(V__FSC1, s__FourStrokeCompression) & s__instance(V__FSC2, s__FourStrokeCompression) & s__eventLocated(V__FSC1, V__C) & s__eventLocated(V__FSC2, V__C) & s__instance(V__A1, s__Air) & s__instance(V__F1, s__Fuel) & s__part(V__A1, V__MIX1) & s__part(V__F1, V__MIX1) & s__measure(V__MIX1, V__M) & s__instance(V__A2, s__Air) & s__instance(V__F2, s__Fuel) & s__part(V__A2, V__MIX2) & s__part(V__F2, V__MIX2) & s__measure(V__MIX2, V__M) & s__instance(V__U, s__UnitOfMeasure) & s__measure(V__A1, s__MeasureFn(V__A1M, V__U)) & s__measure(V__A2, s__MeasureFn(V__A2M, V__U)) & s__measure(V__F1, s__MeasureFn(V__F1M, V__U)) & s__measure(V__F2, s__MeasureFn(V__F2M, V__U))) => ($greater(s__DivisionFn(V__A2M, V__F2M),s__DivisionFn(V__A1M, V__F1M))))) | Cars.kif 1253-1287 | If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L |
| ! [V__E,V__R,V__MIN,V__M,V__MAX] : (((s__instance(V__E,s__Engine) & s__instance(V__R,s__RealNumber) & s__instance(V__MIN,s__RealNumber) & s__instance(V__M,s__UnitOfMeasure) & s__instance(V__MAX,s__RealNumber)) => ((s__compressionRatio(V__E,V__R) => (s__minCylinderVolume(V__E,s__MeasureFn(V__MIN,V__M)) & s__maxCylinderVolume(V__E,s__MeasureFn(V__MAX,V__M)) & (V__R = s__DivisionFn(V__MIN,V__MAX)))) & ((s__minCylinderVolume(V__E,s__MeasureFn(V__MIN,V__M)) & s__maxCylinderVolume(V__E,s__MeasureFn(V__MAX,V__M)) & (V__R = s__DivisionFn(V__MIN,V__MAX))) => s__compressionRatio(V__E,V__R)))) )
|
Cars.kif 1792-1797 | The compression ratio of X is Y if and only if the minimum volume of the cylinders in the engine X is Z W(s) and the maximum volume of the cylinders in the engine X is V W(s) and equal Y and Z and V |
| ! [V__N1 : $int,V__N2 : $int,V__T : $i,V__V1 : $real,V__V2 : $real,V__WC1 : $i,V__WC2 : $i] : (((s__instance(V__T, s__ElectricalTransformer) & s__instance(V__WC1, s__WireCoil) & s__instance(V__WC2, s__WireCoil) & s__coilCount(V__WC1, V__N1) & s__coilCount(V__WC2, V__N2) & s__holdsDuring(V__T, s__measure(V__WC1, s__MeasureFn(s__Volt, V__V1)))) => (s__holdsDuring(V__T, s__measure(V__WC2, s__MeasureFn(s__Volt, V__V2))) & V__V2 = $product(V__V1 ,s__DivisionFn(V__N2, V__N1))))) | Cars.kif 2984-2998 | If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W |
| ! [V__BTS : $i,V__L1 : $i,V__L2 : $i,V__L3 : $i,V__L4 : $i,V__M1 : $i,V__M2 : $i,V__T1 : $i,V__T2 : $i,V__TM1 : $i,V__TM2 : $i] : (((s__instance(V__BTS, s__BimetalTemperatureSensor) & s__instance(V__M1, s__Metal) & s__instance(V__M2, s__Metal) & ~(V__M1 = V__M2) & s__part(V__M1, V__BTS) & s__part(V__M2, V__BTS) & s__instance(V__T1, s__TemperatureMeasure) & s__instance(V__T2, s__TemperatureMeasure) & s__instance(V__L1, s__LengthMeasure) & s__instance(V__L2, s__LengthMeasure) & s__instance(V__L3, s__LengthMeasure) & s__instance(V__L4, s__LengthMeasure) & ~(V__T1 = V__T2) & ~(V__TM1 = V__TM2) & s__holdsDuring(V__TM1, (s__measure(V__BTS, V__T1) & s__measure(V__M1, V__L1) & s__measure(V__M2, V__L2))) & s__holdsDuring(V__TM2, (s__measure(V__BTS, V__T2) & s__measure(V__M1, V__L3) & s__measure(V__M2, V__L4)))) => ~(s__DivisionFn(V__L1, V__L2) = s__DivisionFn(V__L3, V__L4)))) | Cars.kif 3951-3983 | If All of the following hold: (1) X is an instance of bi_metal temperature sensor (2) Y is an instance of metal (3) Z is an instance of metal (4) equal Y and Z (5) Y is a part of X (6) Z is a part of X (7) W is an instance of temperature measure (8) V is an instance of temperature measure (9) U is an instance of length measure (10) T is an instance of length measure (11) S is an instance of length measure (12) R is an instance of length measure (13) equal W and V (14) equal Q and P (15) the measure of X is W, the measure of Y is U, and the measure of Z is T holds during Q (16) the measure of X is V, the measure of Y is S, and the measure of Z is R holds during P, then equal U, T, S, and R |
| ! [V__HZ,V__L,V__R] : (((s__instance(V__HZ,s__RealNumber) & s__instance(V__L,s__RealNumber)) => ((s__instance(V__R,s__RadiatingElectromagnetic) & s__carrierFrequency(V__R,s__MeasureFn(V__HZ,s__Hertz)) & s__wavelength(V__R,s__MeasureFn(V__L,s__Meter))) => (s__MeasureFn(V__L,s__Meter) = s__MeasureFn(s__DivisionFn(n__299792458,V__HZ) ,s__Meter)))) )
|
ComputingBrands.kif 1570-1577 | If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s) |
| ! [V__P1,V__N1,V__P2,V__N2,V__O,V__R] : (((s__instance(V__P1,s__Object) & s__instance(V__N1,s__RealNumber) & s__instance(V__P2,s__Object) & s__instance(V__N2,s__RealNumber) & s__instance(V__O,s__Object) & s__instance(V__R,s__RealNumber)) => ((s__measure(V__P1,s__MeasureFn(V__N1,s__Lumen)) & s__measure(V__P2,s__MeasureFn(V__N2,s__Lumen)) & s__part(V__P1,V__O) & s__part(V__P2,V__O) & ~((V__P1 = V__P2)) & s__greaterThan(V__N1,V__N2) & (s__DivisionFn(V__N1,V__N2) = V__R) & s__contrastRatio(V__O,V__R)) => ~((? [V__P3,V__P4,V__N3,V__N4] : ((s__instance(V__P3,s__Object) & s__instance(V__P4,s__Object) & s__instance(V__N3,s__RealNumber) & s__instance(V__N4,s__RealNumber) & (s__measure(V__P3,s__MeasureFn(V__N3,s__Lumen)) & s__measure(V__P4,s__MeasureFn(V__N4,s__Lumen)) & s__part(V__P3,V__O) & s__part(V__P4,V__O) & ~((V__P3 = V__P4)) & s__greaterThan(V__N3,V__N4) & s__greaterThan(s__DivisionFn(V__N3,V__N4) ,V__R)))))))) )
|
ComputingBrands.kif 3641-3662 | If All of the following hold: (1) the measure of X is Y lumen(s) (2) the measure of Z is W lumen(s) (3) X is a part of V (4) Z is a part of V (5) equal X and Z (6) Y is greater than W (7) equal Y, W, and U (8) the contrast ratio of V is U, then there don't exist T, S,, , R and Q such that the measure of T is R lumen(s) and the measure of S is Q lumen(s) and T is a part of V and S is a part of V and equal T and S and R is greater than Q and R and Q is greater than U |
| ! [V__Agent : $i,V__Event : $i,V__N1 : $int,V__N2 : $int,V__N3 : $real,V__NewNumber : $real,V__Number : $real,V__Stocks : $i] : (((s__possesses(V__Agent, V__Stocks) & s__measure(V__Stocks, s__MeasureFn(V__Number, s__ShareUnit)) & s__splitFor(V__Event, V__N1, V__N2)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__Event)), (V__N3 = $product(V__Number ,V__N2) & V__NewNumber = s__DivisionFn(V__N3, V__N1) & s__measure(V__Stocks, s__MeasureFn(V__NewNumber, s__ShareUnit)))))) | FinancialOntology.kif 2270-2280 | If X possesses Y, the measure of Y is Z share unit(s), and W is split for V for U, then equal T and Z and U and equal S and T and V and the measure of Y is S share unit(s) holds during immediately after the time of existence of W |
| ! [V__SPEED,V__DISTANCE,V__TIME] : (((s__instance(V__SPEED,s__FunctionQuantity) & s__instance(V__DISTANCE,s__RealNumber) & s__instance(V__TIME,s__RealNumber)) => ((V__SPEED = s__SpeedFn(s__MeasureFn(V__DISTANCE,s__NauticalMile),s__MeasureFn(V__TIME,s__HourDuration))) => (V__SPEED = s__MeasureFn(s__DivisionFn(V__DISTANCE,V__TIME) ,s__KnotUnitOfSpeed)))) )
|
Geography.kif 5464-5472 | If equal X and Y nautical mile(s) per Z hour duration(s), then equal X and Y and Z knot unit of speed(s) |
| ! [V__X,V__VOL,V__WATER] : (((s__instance(V__X,s__Class) & s__subclass(V__X,s__ClothesWashingMachine) & s__subclass(V__X,s__LaundryAppliance) & s__instance(V__VOL,s__RealNumber) & s__instance(V__WATER,s__RealNumber)) => ((s__subclass(V__X,s__ClothesWashingMachine) & s__laundryApplianceMaximumClothesVolume(V__X,s__MeasureFn(V__VOL,s__Liter)) & s__waterConsumptionPerWashingCycle(V__X,s__MeasureFn(V__WATER,s__UnitedStatesGallon))) => s__clothesWasherWaterFactor(V__X,s__DivisionFn(V__WATER,s__MultiplicationFn(V__VOL,n__28_316846592))))) )
|
HouseholdAppliances.kif 1519-1528 | If X is a subclass of clothes washing machine, maximum clothes volume X and Y liter(s), and water use per one clothes washing cycle X and Z united states gallon(s), then clothes washer water factor X, Z, Y, and 28.316846592 |
| ! [V__N,V__N2,V__H] : (((s__instance(V__N,s__RealNumber) & s__instance(V__N2,s__RealNumber)) => ((s__instance(V__H,s__HumanAdult) & s__measure(V__H,s__MeasureFn(V__N,s__PoundMass))) => (s__bloodVolume(V__H,s__MeasureFn(V__N2,s__Liter)) & (V__N2 = s__DivisionFn(s__MultiplicationFn(V__N,n__0_07) ,n__2_33))))) )
|
Medicine.kif 5945-5954 | If X is an instance of human adult and the measure of X is Y pound mass(s), then X has Z liter(s) of blood and equal Z, Y, 0.07, and 2.33 |
| ! [V__ADJUSTEDPERCENT : $real,V__AREA : $i,V__PERCENT : $int,V__POPULATION : $int,V__PREVIOUSPOPULATION : $int,V__PREVIOUSYEAR : $i,V__Y : $int,V__YEAR : $i,V__YP : $int] : ((((s__instance(V__YEAR, s__YearFn(V__Y)) & s__PopulationGrowthFn(V__AREA, V__YEAR) = V__ADJUSTEDPERCENT) => ($difference(V__Y ,V__YP) = 1 & s__instance(V__PREVIOUSYEAR, s__YearFn(V__YP)) & s__holdsDuring(V__YEAR, s__PopulationFn(V__AREA) = V__POPULATION) & s__holdsDuring(V__PREVIOUSYEAR, s__PopulationFn(V__AREA) = V__PREVIOUSPOPULATION) & s__DivisionFn(V__POPULATION, V__PREVIOUSPOPULATION) = V__PERCENT & $difference(V__PERCENT ,1) = V__ADJUSTEDPERCENT)) & (($difference(V__Y ,V__YP) = 1 & s__instance(V__PREVIOUSYEAR, s__YearFn(V__YP)) & s__holdsDuring(V__YEAR, s__PopulationFn(V__AREA) = V__POPULATION) & s__holdsDuring(V__PREVIOUSYEAR, s__PopulationFn(V__AREA) = V__PREVIOUSPOPULATION) & s__DivisionFn(V__POPULATION, V__PREVIOUSPOPULATION) = V__PERCENT & $difference(V__PERCENT ,1) = V__ADJUSTEDPERCENT) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__PopulationGrowthFn(V__AREA, V__YEAR) = V__ADJUSTEDPERCENT)))) | People.kif 52-64 | X is an instance of the year Y and equal the population growth of Z and X and W if and only if equal (Y and V) and 1 and U is an instance of the year V and equal the population of Z and T holds during X and equal the population of Z and S holds during U and equal T and S and R and equal (R and 1) and W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
|