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)的意思是约翰有义务要给汤姆一样东西。."')

chinese_format.kif 3857-3861
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 16068-16074
s__domain(s__modalAttribute__m,n__1,s__Formula)

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

Merge.kif 16067-16067 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 16062-16062 modal attribute is an instance of asymmetric relation
s__instance(s__modalAttribute__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__modalAttribute__m,s__IrreflexiveRelation)

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

s__instance(s__PartialValuedRelation,s__SetOrClass)

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

Merge.kif 16065-16065 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 597-597
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'"模态属性"')

domainEnglishFormat.kif 38095-38095
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'"语气属性"')

chinese_format.kif 591-591
s__termFormat(s__ChineseTraditionalLanguage,s__modalAttribute__m,'"模態屬性"')

domainEnglishFormat.kif 38094-38094
s__termFormat(s__EnglishLanguage,s__modalAttribute__m,'"modal attribute"')

domainEnglishFormat.kif 38093-38093

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11460-11467 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 16180-16182 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 16243-16245 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 16279-16281 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 725-748
No TPTP formula. May not be expressible in strict first order. Merge.kif 16076-16080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11419-11424
No TPTP formula. May not be expressible in strict first order. Merge.kif 16293-16295
No TPTP formula. May not be expressible in strict first order. Merge.kif 16184-16186
No TPTP formula. May not be expressible in strict first order. Merge.kif 16247-16249
No TPTP formula. May not be expressible in strict first order. Merge.kif 16082-16084
No TPTP formula. May not be expressible in strict first order. Merge.kif 16301-16303

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11460-11467 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 16180-16182 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 16243-16245 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 16279-16281 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 11688-11698
No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27611-27616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27584-27588
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 1154-1171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23677-23690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24160-24172
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11137-11146
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11147-11158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11092-11100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11166-11175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11177-11186
No TPTP formula. May not be expressible in strict first order. Merge.kif 17024-17029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11108-11117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11118-11129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11075-11083

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 2348-2348 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 2346-2346 The statement immigration and nationality act- section219-US has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2343-2343 The statement immigration and nationality act-US 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