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 17666-17670
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 17659-17665
s__domain(s__modalAttribute__m,1,s__Formula)

Merge.kif 17657-17657 The number 1 argument of modal attribute is an instance of formula
s__domain(s__modalAttribute__m,2,s__NormativeAttribute)

Merge.kif 17658-17658 The number 2 argument of modal attribute is an instance of normative attribute
s__instance(s__modalAttribute__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 17653-17653 modal attribute is an instance of asymmetric relation
s__instance(s__modalAttribute__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 17652-17652 modal attribute is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__modalAttribute__m,s__IrreflexiveRelation)

Merge.kif 17654-17654 modal attribute is an instance of irreflexive relation
s__instance(s__modalAttribute__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 17655-17655 modal attribute is an instance of partial valued relation
s__subrelation(s__modalAttribute__m,s__property__m)

Merge.kif 17656-17656 modal attribute is a subrelation of property

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__termFormat(s__ChineseLanguage,s__modalAttribute__m,'语气属性')

chinese_format.kif 591-591 "语气属性" is the printable form of modal attribute in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__modalAttribute__m,'modal attribute')

domainEnglishFormat.kif 6786-6786 "modal attribute" is the printable form of modal attribute in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11454-11461 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17809-17811 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order. Merge.kif 17888-17890 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Merge.kif 17930-17932 The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
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 17672-17676
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 17948-17950
No TPTP formula. May not be expressible in strict first order. Merge.kif 17813-17815
No TPTP formula. May not be expressible in strict first order. Merge.kif 17892-17894
No TPTP formula. May not be expressible in strict first order. Merge.kif 17678-17680
No TPTP formula. May not be expressible in strict first order. Merge.kif 17958-17960

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11454-11461 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17809-17811 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order. Merge.kif 17888-17890 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order. Merge.kif 17930-17932 The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
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 27606-27611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27579-27583
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 23664-23677
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24147-24159
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 18835-18840
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 18820-18825
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 The statement antiterrorism and effective death penalty act has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2352-2352 The statement immigration and nationality act- section219-U s has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2349-2349 The statement immigration and nationality act-U s has the modal force of law


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