modalAttribute |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage modalAttribute "%1 的声明 %n{doesn't have} %p{has} %2 的语气") | chinese_format.kif 590-590 | |
(format EnglishLanguage modalAttribute "the statement %1 %n{doesn't have} %p{has} the modal force of %2") | english_format.kif 594-594 | |
(format FrenchLanguage modalAttribute "l'argument %1 %n{n'} %p{a} %n{pas} la force modale de %2") | french_format.kif 353-353 | |
(format ItalianLanguage modalAttribute "l'affermazione %1 ha il modello di forza di %2") | relations-it.txt 192-192 | |
(format JapaneseLanguage modalAttribute "ステートメント %1 には %2 の modal force が %n{ない} %p{ある}") | japanese_format.kif 2100-2100 | |
(format PortugueseLanguage modalAttribute "o argumento %1 %n{nao} %p{tem} %n a forca modal de %2") | portuguese_format.kif 305-305 | |
(format de modalAttribute "die Aussage %1 hat die modale Kraft von %2") | relations-de.txt 775-775 | |
(format hi modalAttribute "%1 prakathana kii ruupaatmaka visheshhataa %2 hai") | relations-hindi.txt 230-230 | |
(format ro modalAttribute "afirmaþa %1 %n{nu} are force%t{forþa} modal%t{modalã} a lui %2") | relations-ro.kif 375-375 | |
(format sv modalAttribute "påståendet %1 har den modala kraften av %2") | relations-sv.txt 393-393 | |
(termFormat ChineseLanguage modalAttribute "模态属性") | domainEnglishFormat.kif 38199-38199 | |
(termFormat ChineseLanguage modalAttribute "语气属性") | chinese_format.kif 591-591 | |
(termFormat ChineseTraditionalLanguage modalAttribute "模態屬性") | domainEnglishFormat.kif 38198-38198 | |
(termFormat EnglishLanguage modalAttribute "modal attribute") | domainEnglishFormat.kif 38197-38197 |
antecedent |
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13850-13857 | L'affermazione Formula ha il modello di forza di Legal Formula l'affermazione Formula ha il modello di forza di Law consistent Formula and Formula |
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
Merge.kif 17416-17418 | L'affermazione Formula ha il modello di forza di Necessity l'affermazione Formula ha il modello di forza di Possibility |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17479-17481 | L'affermazione Formula ha il modello di forza di Obligation l'affermazione Formula ha il modello di forza di Permission |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17515-17517 | L'affermazione Formula ha il modello di forza di Prohibition l'affermazione Formula ha il modello di forza di Permission |
(=> (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 |
|
(=> (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 Attaching) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 44-59 |
|
(=> (and (modalAttribute ?FORMULA1 ?PROP) (entails ?FORMULA1 ?FORMULA2)) (modalAttribute ?FORMULA2 ?PROP)) |
Merge.kif 17312-17316 |
|
(=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1)))) |
Mid-level-ontology.kif 13814-13819 |
|
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17529-17531 | |
(=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA Possibility)) |
Merge.kif 17420-17422 |
|
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission)) |
Merge.kif 17483-17485 |
|
(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility)) |
Merge.kif 17318-17320 |
|
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17537-17539 |
consequent |
appearance as argument number 0 |
(modalAttribute AmericansWithDisabilitiesAct-US Law) | Medicine.kif 3170-3170 | L'affermazione AmericansWithDisabilitiesAct-US ha il modello di forza di Law |
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) | Government.kif 2407-2407 | L'affermazione AntiterrorismAndEffectiveDeathPenaltyAct ha il modello di forza di Law |
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) | Government.kif 2405-2405 | L'affermazione ImmigrationAndNationalityAct-Section219-US ha il modello di forza di Law |
(modalAttribute ImmigrationAndNationalityAct-US Law) | Government.kif 2402-2402 | L'affermazione ImmigrationAndNationalityAct-US ha il modello di forza di Law |