Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| modalAttribute |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage modalAttribute "modal attribute") | domainEnglishFormat.kif 38201-38201 | |
| (termFormat ChineseTraditionalLanguage modalAttribute "模態屬性") | domainEnglishFormat.kif 38202-38202 | |
| (termFormat ChineseLanguage modalAttribute "模态属性") | domainEnglishFormat.kif 38203-38203 | |
| (format EnglishLanguage modalAttribute "the statement %1 %n{doesn't have} %p{has} the modal force of %2") | english_format.kif 594-594 |
| antecedent |
|
|
| (=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
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 |
| (=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
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 |
| (=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
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 |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17878-17884 | If the statement X has the modal force of likely, then the probability of X is true is greater than the probability of X is false |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17890-17896 | If the statement X has the modal force of unlikely, then the probability of X is false is greater than the probability of X is true |
| (<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (truth (not (and ?F1 ?F2)) True))))) |
Mid-level-ontology.kif 15449-15457 | The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true |
| (=> (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 (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A ApplyingTourniquet) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 45-60 | If All of the following hold: (1) X is an instance of bleeding (2) Y is an instance of death (3) Z is an instance of human (4) W is an instance of human (5) W experiences X (6) Z is near to W (7) the statement X causes Y has the modal force of likely, then Z is obliged to perform tasks of type there exists V such that V is an instance of applying a tourniquet, Z is an agent of V, and V ends up at W |
| consequent |
|
|
| (=> (and (capability ?PROCESS ?ROLE ?OBJ) (instance ?OBJ Device) (not (attribute ?OBJ DeviceDamaged))) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?ROLE ?P ?OBJ))) 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 |
| (=> (holdsDuring ?TIME (confersNorm ?ENTITY ?NORM ?FORMULA)) (and (holdsDuring (ImmediatePastFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))) (holdsDuring (ImmediateFutureFn ?TIME) (modalAttribute ?FORMULA ?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 |
| (=> (holdsDuring ?TIME (deprivesNorm ?ENTITY ?NORM ?FORMULA)) (and (holdsDuring (ImmediatePastFn ?TIME) (modalAttribute ?FORMULA ?NORM)) (holdsDuring (ImmediateFutureFn ?TIME) (not (modalAttribute ?FORMULA ?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 |
| (=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4367-4369 | If X possesses Y, then the statement X uses Y has the modal force of permission |
| (=> (and (instance ?COMMIT Committing) (containsFormula ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA 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 |
| (=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) 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 |
| (=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) 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 |
| (=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
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 |
| (=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
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 |
| (=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
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 |
| (=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) 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 |
| (=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) 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 |
| (=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) 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 |
| (=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) 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 |
| (=> (instance ?SHOT FirearmShot) (exists (?C ?P ?CLASS ?X) (and (instance ?C CollectionOfObjects) (member ?P ?C) (instance ?P ?CLASS) (subclass ?CLASS SphericalObject) (approximateDiameter ?P (MeasureFn ?X Millimeter)) (modalAttribute (and (material ?CLASS Lead) (lessThan ?X 10)) 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 |
| (=> (instance ?S Spear) (modalAttribute (material Metal ?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 |
| (=> (instance ?S Strap) (modalAttribute (material Fabric ?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 |
| (=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) 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 |
| (=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) 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 |
| (=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) 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 |
| (=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL CollectionOfObjects) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) 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 |
| (=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) 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 |
| statement |
|
|
|