Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - modalAttribute
modalAttribute

appearance as argument number 1
-------------------------


s__documentation(s__modalAttribute__m,s__ChineseLanguage,'这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(&%modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的 Proposition 含有 NormativeAttribute ?PROP。例如:(modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation)的意思是约翰有义务要给汤姆一样东西。.')

Merge.kif 17614-17618
s__documentation(s__modalAttribute__m,s__EnglishLanguage,'A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something.')

Merge.kif 17607-17613
s__domain(s__modalAttribute__m,1,s__Formula)

Merge.kif 17605-17605
s__domain(s__modalAttribute__m,2,s__NormativeAttribute)

Merge.kif 17606-17606
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 17601-17601
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 17600-17600
s__instance(s__IrreflexiveRelation,s__SetOrClass)

Merge.kif 17602-17602
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 17603-17603
s__subrelation(s__modalAttribute__m,s__property__m)

Merge.kif 17604-17604

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__modalAttribute__m,'%1 的声明 %n{doesnt have} %p{has} %2 的语气')

chinese_format.kif 590-590
s__format(s__EnglishLanguage,s__modalAttribute__m,'the statement %1 %n{doesnt have} %p{has} the modal force of %2')

english_format.kif 364-364
s__format(s__FrenchLanguage,s__modalAttribute__m,'largument %1 %n{n} %p{a} %n{pas} la force modale de %2')

french_format.kif 353-353
s__format(s__ItalianLanguage,s__modalAttribute__m,'laffermazione %1 ha il modello di forza di %2')

relations-it.txt 192-192
s__format(s__PortugueseLanguage,s__modalAttribute__m,'o argumento %1 %n{nao} %p{tem} %n a forca modal de %2')

portuguese_format.kif 305-305
s__format(s__de__m,s__modalAttribute__m,'die Aussage %1 hat die modale Kraft von %2')

relations-de.txt 775-775
s__format(s__hi__m,s__modalAttribute__m,'%1 prakathana kii ruupaatmaka visheshhataa %2 hai')

relations-hindi.txt 230-230
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'语气属性')

chinese_format.kif 591-591
s__termFormat(s__EnglishLanguage,s__modalAttribute__m,'modal attribute')

domainEnglishFormat.kif 6786-6786

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11454-11461
No TPTP formula. May not be expressible in strict first order. Merge.kif 17757-17759
No TPTP formula. May not be expressible in strict first order. Merge.kif 17836-17838
No TPTP formula. May not be expressible in strict first order. Merge.kif 17878-17880
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
No TPTP formula. May not be expressible in strict first order. Merge.kif 17620-17624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11413-11418
No TPTP formula. May not be expressible in strict first order. Merge.kif 17896-17898
No TPTP formula. May not be expressible in strict first order. Merge.kif 17761-17763
No TPTP formula. May not be expressible in strict first order. Merge.kif 17840-17842
No TPTP formula. May not be expressible in strict first order. Merge.kif 17626-17628
No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17908

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11454-11461
No TPTP formula. May not be expressible in strict first order. Merge.kif 17757-17759
No TPTP formula. May not be expressible in strict first order. Merge.kif 17836-17838
No TPTP formula. May not be expressible in strict first order. Merge.kif 17878-17880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11692
No TPTP formula. May not be expressible in strict first order. Music.kif 319-325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27526-27531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27499-27503
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23584-23597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24079
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Merge.kif 18779-18784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11086-11094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11171-11180
No TPTP formula. May not be expressible in strict first order. Merge.kif 18765-18770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11069-11077

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2354-2354
No TPTP formula. May not be expressible in strict first order. Government.kif 2352-2352
No TPTP formula. May not be expressible in strict first order. Government.kif 2349-2349


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners