| ! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__Likely))) |
Merge.kif 15462-15483 |
If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
| ! [V__CLOTHING : $i] : ((s__instance(V__CLOTHING, s__Clothing) => s__modalAttribute(( ? [V__FABRIC:$i] : ((s__instance(V__FABRIC, s__Fabric) & s__part(V__FABRIC, V__CLOTHING)))), s__Likely))) |
Merge.kif 16249-16256 |
If X is an instance of clothing, then the statement there exists Y such that Y is an instance of fabric and Y is a part of X has the modal force of likely |
| ! [V__F : $i,V__H : $i,V__P : $i,V__PI : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__ImpairedBodyPartFn(V__P))) & s__instance(V__PI, V__P) & s__part(V__PI, V__H) & s__hasPurpose(V__PI, V__F)) => s__modalAttribute(~(V__F), s__Likely))) |
Merge.kif 18566-18576 |
If impaired body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then the statement V has the modal force of likely |
| ! [V__ARG : $int,V__N : $real,V__REL : $i,V__VAL : $real,V__ARGS : $i] : (((s__defaultMinValue(V__REL,V__ARG,V__N) & s__?REL(V__ARGS) & V__VAL = s__ListOrderFn(s__ListFn(V__ARGS),V__ARG)) => s__modalAttribute(($greater(V__VAL,V__N)), s__Likely))) |
Merge.kif 18777-18782 |
If The defaultMinValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement V is greater than Z has the modal force of likely |
| ! [V__ARG : $int,V__N : $real,V__REL : $i,V__VAL : $real,V__ARGS : $i] : (((s__defaultMaxValue(V__REL,V__ARG,V__N) & s__?REL(V__ARGS) & V__VAL = s__ListOrderFn(s__ListFn(V__ARGS),V__ARG)) => s__modalAttribute(($greater(V__N,V__VAL)), s__Likely))) |
Merge.kif 18794-18799 |
If The defalutMaxValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement Z is greater than V has the modal force of likely |
| ! [V__ARG : $int,V__N : $i,V__REL : $i,V__VAL : $i,V__ARGS : $i] : (((s__defaultValue(V__REL,V__ARG,V__N) & s__?REL(V__ARGS) & V__VAL = s__ListOrderFn(s__ListFn(V__ARGS),V__ARG)) => s__modalAttribute(V__N = V__VAL, s__Likely))) |
Merge.kif 18811-18816 |
If The defaultValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement equal Z and V has the modal force of likely |
| ! [V__SHOT : $i] : ((s__instance(V__SHOT, s__FirearmShot) => ( ? [V__C:$i, V__P:$i, V__CLASS:$i, V__X:$real] : ((s__instance(V__C, s__CollectionOfObjects) & s__member(V__P, V__C) & s__instance(V__P, V__CLASS) & s__subclass(V__CLASS, s__SphericalObject) & s__approximateDiameter(V__P, s__MeasureFn(V__X, s__Millimeter)) & s__modalAttribute((s__material(V__CLASS, s__Lead) & ($less(V__X,10))), s__Likely)))))) |
Mid-level-ontology.kif 1147-1160 |
If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely |
| ! [V__S : $i] : ((s__instance(V__S, s__Spear) => s__modalAttribute(s__material(s__Metal, V__S), s__Likely))) |
Mid-level-ontology.kif 1247-1250 |
If X is an instance of spear, then the statement X is made of metal has the modal force of likely |
| ! [V__S : $i] : ((s__instance(V__S, s__Strap) => s__modalAttribute(s__material(s__Fabric, V__S), s__Likely))) |
Mid-level-ontology.kif 1750-1752 |
If X is an instance of strap, then the statement X is made of fabric has the modal force of likely |
| ! [V__GUN : $i] : ((s__instance(V__GUN, s__ArtilleryGun) => s__modalAttribute(( ? [V__W:$i] : ((s__instance(V__W, s__Wheel) & s__part(V__W, V__GUN)))), s__Likely))) |
Mid-level-ontology.kif 1899-1905 |
If X is an instance of artillery gun, then the statement there exists Y such that Y is an instance of wheel and Y is a part of X has the modal force of likely |
| ! [V__CY : $i,V__GUN : $i] : (((s__instance(V__GUN, s__RevolverGun) & s__part(V__CY, V__GUN) & s__instance(V__CY, s__GunCylinder)) => s__modalAttribute(( ? [V__COLL:$i] : ((s__part(V__COLL, V__CY) & s__instance(V__COLL, s__CollectionOfObjects) & s__memberType(V__COLL, s__GunChamber) & s__memberCount(V__COLL, 6)))), s__Likely))) |
Mid-level-ontology.kif 2130-2141 |
If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely |
| ! [V__O : $i,V__V : $i] : (((s__instance(V__V, s__Vending) & s__objectTransferred(V__V, V__O) & ~(s__instance(V__O, s__Currency))) => s__modalAttribute((s__instance(V__O, s__FoodForFn(s__Human)) | s__instance(V__O, s__Beverage)), s__Likely))) |
Mid-level-ontology.kif 2585-2594 |
If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| ! [V__PAPER : $i] : ((s__instance(V__PAPER, s__Paper) => s__modalAttribute(s__hasPurpose(V__PAPER, ( ? [V__TEXT:$i] : ((s__instance(V__TEXT, s__Text) & s__part(V__TEXT, V__PAPER))))), s__Likely))) |
Mid-level-ontology.kif 4220-4228 |
If X is an instance of paper, then the statement X has the purpose there exists Y such that Y is an instance of text and Y is a part of X has the modal force of likely |
| ! [V__A : $i,V__W : $i] : (((s__instance(V__A, s__Biped) & s__instance(V__W, s__Ambulating) & s__agent(V__W, V__A)) => s__modalAttribute(( ? [V__L1:$i, V__L2:$i] : ((s__instance(V__L1, s__Leg) & s__instance(V__L2, s__Leg) & ~(V__L1 = V__L2) & s__part(V__L1, V__A) & s__part(V__L2, V__A) & s__instrument(V__W, V__L1) & s__instrument(V__W, V__L2)))), s__Likely))) |
Mid-level-ontology.kif 5020-5036 |
If X is an instance of biped, Y is an instance of ambulating, and X is an agent of Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X (8) Z is an instrument for Y (9) W is an instrument for Y has the modal force of likely |
| ! [V__H : $i,V__S : $i] : (((s__instance(V__S, s__SkinRash) & s__experiencer(V__S, V__H)) => s__modalAttribute(( ? [V__I:$i] : ((s__instance(V__I, s__Itching) & s__experiencer(V__I, V__H) & s__during(s__WhenFn(V__I), s__WhenFn(V__S))))), s__Likely))) |
Mid-level-ontology.kif 6868-6878 |
If X is an instance of rash and Y experiences X, then the statement there exists Z such that Z is an instance of pruritus, Y experiences Z, and the time of existence of Z takes place during the time of existence of X has the modal force of likely |
| ! [V__P : $i] : ((s__instance(V__P, s__Parasite) => s__modalAttribute(( ? [V__H:$i, V__PROC:$i] : ((s__located(V__P, V__H) & s__involvedInEvent(V__PROC, V__P) & s__involvedInEvent(V__PROC, V__H) & s__benefits(V__PROC, V__P) & s__suffers(V__PROC, V__H)))), s__Likely))) |
Mid-level-ontology.kif 7013-7023 |
If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely |
| ! [V__H : $i,V__S : $i,V__SUB : $i,V__T : $i] : (((s__allergic(V__H, V__S) & s__instance(V__SUB, V__S) & s__holdsDuring(V__T, s__meetsSpatially(V__SUB, V__H))) => s__modalAttribute(( ? [V__AR:$i] : ((s__instance(V__AR, s__AllergicReaction) & s__experiencer(V__AR, V__H) & s__overlapsTemporally(V__T, s__WhenFn(V__AR)) & s__before(s__BeginFn(V__T), s__BeginFn(s__WhenFn(V__AR)))))), s__Likely))) |
Mid-level-ontology.kif 7350-7363 |
If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely |
| ! [V__A : $i,V__P : $i,V__T : $i] : ((s__holdsDuring(V__T, s__fears(V__A, s__instance(V__P, s__Process))) => s__believes(V__A, s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), ( ? [V__D:$i] : ((s__instance(V__D, s__Damaging) & s__patient(V__D, V__A) & s__causes(V__P, V__D))))), s__Likely)))) |
Mid-level-ontology.kif 8696-8708 |
If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely |
| ! [V__PARK : $i] : ((s__instance(V__PARK, s__Park) => s__modalAttribute(( ? [V__G:$i] : ((s__instance(V__G, s__Garden) & s__located(V__G, V__PARK)))), s__Likely))) |
Mid-level-ontology.kif 9437-9443 |
If X is an instance of park, then the statement there exists Y such that Y is an instance of garden and Y is located at X has the modal force of likely |
| ! [V__G : $i] : ((s__instance(V__G, s__ResidentialGarden) => s__modalAttribute(( ? [V__F:$i] : ((s__instance(V__F, s__Fence) & s__orientation(V__G, V__F, s__Surrounded)))), s__Likely))) |
Mid-level-ontology.kif 9509-9515 |
If X is an instance of residential garden, then the statement there exists Y such that Y is an instance of fence and X is surrounded by to Y has the modal force of likely |
| ! [V__CLASS : $i,V__X : $real] : ((s__MeasureFn(V__X, s__PoundForce) = s__JankaHardnessFn(V__CLASS) => s__modalAttribute(( ? [V__T:$i, V__W:$i, V__P:$i, V__B:$i, V__H:$i, V__S:$i] : ((s__instance(V__T, V__CLASS) & s__part(V__W, V__T) & s__instance(V__W, s__Wood) & s__instance(V__P, s__Pushing) & s__destination(V__P, V__W) & s__instance(V__B, s__Ball) & s__material(V__B, s__Steel) & s__patient(V__P, V__B) & s__sphereRadius(V__B, s__MeasureFn(5.64, s__Millimeter)) & s__result(V__P, V__H) & s__instance(V__H, s__HoleRegion) & s__part(V__H, V__W) & s__surface(V__S, V__W) & s__distance(V__S, V__H, s__MeasureFn(5.64, s__Millimeter)) & s__measure(V__P, s__MeasureFn(V__X, s__PoundForce))))), s__Likely))) |
Mid-level-ontology.kif 10569-10592 |
If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| ! [V__A : $real,V__CLASS : $i,V__F : $real] : ((s__MeasureFn(s__PerFn(s__MeasureFn(V__F, s__KilogramForce), s__MeasureFn(V__A, s__SquareMillimeter)), s__VickersPyramidNumber) = s__VickersHardnessFn(V__CLASS) => s__modalAttribute(( ? [V__SUB:$i, V__P:$i, V__D:$i, V__H:$i, V__S:$i] : ((s__instance(V__SUB, V__CLASS) & s__instance(V__P, s__Pushing) & s__destination(V__P, V__SUB) & s__instance(V__D, s__Diamond) & s__shape(V__D, s__SquarePyramid) & s__patient(V__P, V__D) & s__result(V__P, V__H) & s__instance(V__H, s__HoleRegion) & s__part(V__H, V__SUB) & s__surface(V__S, V__H) & s__totalArea(V__S, s__MeasureFn(V__A, s__SquareMillimeter)) & s__measure(V__P, s__MeasureFn(V__F, s__KilogramForce))))), s__Likely))) |
Mid-level-ontology.kif 10641-10662 |
If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely |
| ! [V__ROOT : $i,V__STEM : $i] : (((s__instance(V__STEM, s__PlantStem) & s__instance(V__ROOT, s__PlantRoot)) => s__modalAttribute(s__orientation(V__STEM, V__ROOT, s__Above), s__Likely))) |
Mid-level-ontology.kif 11030-11035 |
If X is an instance of plant stem and Y is an instance of plant root, then the statement X is above to Y has the modal force of likely |
| ! [V__D : $i,V__H : $i,V__I : $i,V__N1 : $real,V__N2 : $real,V__P1 : $i,V__P2 : $i,V__U1 : $i,V__U2 : $i,V__V : $i] : (((s__instance(V__D, s__Diuretic) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__D) & s__instance(V__U1, s__Urination) & s__result(V__U1, V__P1) & s__agent(V__U1, V__H) & s__instance(V__U2, s__Urination) & s__result(V__U2, V__P2) & s__agent(V__U2, V__H) & s__earlier(V__U1, V__I) & s__earlier(V__I, V__U2) & s__instance(V__V, s__UnitOfVolume) & s__measure(V__U1, s__MeasureFn(V__N1, V__V)) & s__measure(V__U2, s__MeasureFn(V__N2, V__V))) => s__modalAttribute(($greater(V__N2,V__N1)), s__Likely))) |
Mid-level-ontology.kif 11470-11491 |
If All of the following hold: (1) X is an instance of diuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) T is a result of U (10) Z is an agent of U (11) W happens earlier than Y (12) Y happens earlier than U (13) S is an instance of unit of volume (14) the measure of W is R S(s) (15) the measure of U is Q S(s), then the statement Q is greater than R has the modal force of likely |
| ! [V__D : $i,V__H : $i,V__I : $i,V__N1 : $real,V__N2 : $real,V__P1 : $i,V__P2 : $i,V__U1 : $i,V__U2 : $i,V__V : $i] : (((s__instance(V__D, s__Antidiuretic) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__D) & s__instance(V__U1, s__Urination) & s__result(V__U1, V__P1) & s__agent(V__U1, V__H) & s__instance(V__U2, s__Urination) & ~(V__U1 = V__U2) & s__result(V__U2, V__P2) & s__agent(V__U2, V__H) & s__earlier(V__U1, V__I) & s__earlier(V__I, V__U2) & s__instance(V__V, s__UnitOfVolume) & s__measure(V__U1, s__MeasureFn(V__N1, V__V)) & s__measure(V__U2, s__MeasureFn(V__N2, V__V))) => s__modalAttribute(($greater(V__N1,V__N2)), s__Likely))) |
Mid-level-ontology.kif 11500-11523 |
If All of the following hold: (1) X is an instance of antidiuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) equal W and U (10) T is a result of U (11) Z is an agent of U (12) W happens earlier than Y (13) Y happens earlier than U (14) S is an instance of unit of volume (15) the measure of W is R S(s) (16) the measure of U is Q S(s), then the statement R is greater than Q has the modal force of likely |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
