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 16612-16618
s__domain(s__modalAttribute__m,n__1,s__Formula)

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

Merge.kif 16611-16611 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__Class)

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

s__instance(s__BinaryPredicate,s__Class)

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

s__instance(s__modalAttribute__m,s__IrreflexiveRelation)

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

s__instance(s__PartialValuedRelation,s__Class)

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

Merge.kif 16609-16609 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 594-594
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 13176-13183 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 16724-16726 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 16787-16789 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 16823-16825 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 16620-16624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13140-13145
No TPTP formula. May not be expressible in strict first order. Merge.kif 16837-16839
No TPTP formula. May not be expressible in strict first order. Merge.kif 16728-16730
No TPTP formula. May not be expressible in strict first order. Merge.kif 16791-16793
No TPTP formula. May not be expressible in strict first order. Merge.kif 16626-16628
No TPTP formula. May not be expressible in strict first order. Merge.kif 16845-16847

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13176-13183 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 16724-16726 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 16787-16789 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 16823-16825 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 13405-13415
No TPTP formula. May not be expressible in strict first order. Music.kif 314-320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5884-5897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28679-28684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28652-28656
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 24970-24983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25381-25393
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 17729-17734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12873-12882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12884-12895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12823-12833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12903-12912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12914-12923
No TPTP formula. May not be expressible in strict first order. Merge.kif 17712-17717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12842-12851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12853-12864

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 2393-2393 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 2391-2391 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 2388-2388 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