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

Formal Language: 



KB Term:  Term intersection
English Word: 

  modalAttribute

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 16495-16501
s__domain(s__modalAttribute__m,n__1,s__Formula)

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

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

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__modalAttribute__m,s__IrreflexiveRelation)

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

s__instance(s__PartialValuedRelation,s__SetOrClass)

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

Merge.kif 16492-16492 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 38184-38184
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'"语气属性"')

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

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

domainEnglishFormat.kif 38182-38182

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12098 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 16607-16609 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 16670-16672 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 16706-16708 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 16503-16507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12055-12060
No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16722
No TPTP formula. May not be expressible in strict first order. Merge.kif 16611-16613
No TPTP formula. May not be expressible in strict first order. Merge.kif 16674-16676
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16511
No TPTP formula. May not be expressible in strict first order. Merge.kif 16728-16730

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12098 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 16607-16609 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 16670-16672 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 16706-16708 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 12320-12330
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 5651-5664
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27416-27421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27389-27393
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
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 1160-1177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23708-23721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24118-24130
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 502-518
No TPTP formula. May not be expressible in strict first order. Merge.kif 17589-17594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11788-11797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11799-11810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11738-11748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11818-11827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11829-11838
No TPTP formula. May not be expressible in strict first order. Merge.kif 17573-17578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11757-11766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11768-11779

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 2380-2380 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 2378-2378 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 2375-2375 The statement immigration and nationality act-US has the modal force of law


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners