| ! [V__OBJ : $i,V__PROCESS : $i,V__ROLE : $i] : (((s__capability(V__PROCESS, V__ROLE, V__OBJ) & s__instance(V__OBJ, s__Device) & ~(s__attribute(V__OBJ, s__DeviceDamaged))) => s__modalAttribute(( ? [V__P:$i] : ((s__instance(V__P, V__PROCESS) & s__?ROLE(V__P, V__OBJ)))), s__Possibility))) |
Merge.kif 4020-4030 |
If X is capable of doing Y as a Z, X is an instance of device, and device damaged is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of possibility |
| ! [V__ENTITY : $i,V__FORMULA : $i,V__NORM : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__confersNorm(V__ENTITY, V__NORM, V__FORMULA)) => (s__holdsDuring(s__ImmediatePastFn(V__TIME), ~(s__modalAttribute(V__FORMULA, V__NORM))) & s__holdsDuring(s__ImmediateFutureFn(V__TIME), s__modalAttribute(V__FORMULA, V__NORM))))) |
Merge.kif 4103-4113 |
If X confers norm Y for Z holds during W, then the statement Z doesn't have the modal force of Y holds during immediately before W and the statement Z has the modal force of Y holds during immediately after W |
| ! [V__ENTITY : $i,V__FORMULA : $i,V__NORM : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__deprivesNorm(V__ENTITY, V__NORM, V__FORMULA)) => (s__holdsDuring(s__ImmediatePastFn(V__TIME), s__modalAttribute(V__FORMULA, V__NORM)) & s__holdsDuring(s__ImmediateFutureFn(V__TIME), ~(s__modalAttribute(V__FORMULA, V__NORM)))))) |
Merge.kif 4125-4134 |
If X deprives norm Y for Z holds during W, then the statement Z has the modal force of Y holds during immediately before W and the statement Z doesn't have the modal force of Y holds during immediately after W |
| ! [V__OBJ : $i,V__PERSON : $i] : ((s__possesses(V__PERSON, V__OBJ) => s__modalAttribute(s__uses(V__OBJ, V__PERSON), s__Permission))) |
Merge.kif 4367-4369 |
If X possesses Y, then the statement X uses Y has the modal force of permission |
| ! [V__COMMIT : $i,V__FORMULA : $i] : (((s__instance(V__COMMIT, s__Committing) & s__containsFormula(V__COMMIT, V__FORMULA) & s__instance(V__FORMULA, s__Formula)) => s__modalAttribute(V__FORMULA, s__Promise))) |
Merge.kif 13529-13534 |
If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise |
| ! [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__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Permission) => s__modalAttribute(V__FORMULA, s__Possibility))) |
Merge.kif 17668-17670 |
If the statement X has the modal force of permission, then the statement X has the modal force of possibility |
| ! [V__FORMULA : $i] : (((s__modalAttribute(V__FORMULA, s__Necessity) => ~(s__modalAttribute(~(V__FORMULA), s__Possibility))) & (~(s__modalAttribute(~(V__FORMULA), s__Possibility)) => s__modalAttribute(V__FORMULA, s__Necessity)))) |
Merge.kif 17765-17769 |
The statement X has the modal force of necessity if and only if the statement X doesn't have the modal force of possibility |
| ! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Necessity) => s__modalAttribute(V__FORMULA, s__Possibility))) |
Merge.kif 17771-17773 |
If the statement X has the modal force of necessity, then the statement X has the modal force of possibility |
| ! [V__FORMULA : $i] : (((s__modalAttribute(V__FORMULA, s__Obligation) => ~(s__modalAttribute(~(V__FORMULA), s__Permission))) & (~(s__modalAttribute(~(V__FORMULA), s__Permission)) => s__modalAttribute(V__FORMULA, s__Obligation)))) |
Merge.kif 17828-17830 |
The statement X has the modal force of obligation if and only if the statement X doesn't have the modal force of permission |
| ! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Obligation) => s__modalAttribute(V__FORMULA, s__Permission))) |
Merge.kif 17832-17834 |
If the statement X has the modal force of obligation, then the statement X has the modal force of permission |
| ! [V__FORMULA : $i] : (((s__modalAttribute(V__FORMULA, s__Prohibition) => ~(s__modalAttribute(V__FORMULA, s__Permission))) & (~(s__modalAttribute(V__FORMULA, s__Permission)) => s__modalAttribute(V__FORMULA, s__Prohibition)))) |
Merge.kif 17864-17866 |
The statement X has the modal force of prohibition if and only if the statement X doesn't have the modal force of permission |
| ! [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__L : $i] : ((s__instance(V__L, s__Longgun) => s__hasPurpose(V__L, ( ? [V__S:$i, V__A:$i] : ((s__instance(V__S, s__Shooting) & s__instrument(V__S, V__L) & s__agent(V__S, V__A) & s__instance(V__A, s__Human) & s__holdsDuring(s__WhenFn(V__S), ( ? [V__G:$i] : ((s__instance(V__G, s__Grabbing) & s__agent(V__G, V__A) & s__patient(V__G, V__L) & s__modalAttribute(( ? [V__H1:$i, V__H2:$i] : ((s__instance(V__H1, s__Hand) & s__part(V__H1, V__A) & s__instance(V__H2, s__Hand) & s__part(V__H2, V__A) & ~(V__H1 = V__H2) & s__instrument(V__G, V__H1) & s__instrument(V__G, V__H2)))), s__Necessity))))))))))) |
Mid-level-ontology.kif 1966-1992 |
If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y |
| ! [V__GUN : $i] : ((s__instance(V__GUN, s__Handgun) => s__hasPurpose(V__GUN, ( ? [V__MAN:$i, V__S:$i, V__H:$i, V__G:$i, V__S:$i] : ((s__instance(V__MAN, s__Human) & s__instance(V__S, s__Shooting) & s__instrument(V__S, V__GUN) & s__agent(V__S, V__MAN) & s__instance(V__G, s__Grabbing) & s__subProcess(V__G, V__S) & s__patient(V__G, V__GUN) & s__agent(V__G, V__MAN) & s__instrument(V__G, V__H) & s__instance(V__H, s__Hand) & s__part(V__H, V__MAN) & ~(s__modalAttribute(( ? [V__H2:$i] : ((s__instance(V__H2, s__Hand) & ~(V__H = V__H2) & s__part(V__H2, V__MAN) & s__instrument(V__G, V__H2)))), s__Necessity)))))))) |
Mid-level-ontology.kif 2045-2069 |
If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity |
| ! [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 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
