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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17528-17532
No TPTP formula. May not be expressible in strict first order. Merge.kif 17521-17527
No TPTP formula. May not be expressible in strict first order. Merge.kif 17519-17519 The number 1 argument of modal attribute is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17520-17520 The number 2 argument of modal attribute is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17515-17515 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17514-17514 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17516-17516 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17517-17517 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17518-17518 modal attribute is a subrelation of property

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order. english_format.kif 364-364
No TPTP formula. May not be expressible in strict first order. french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order. relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 591-591 "语气属性" is the printable form of modal attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6787-6787 "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 11194-11201 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 17671-17673 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 17750-17752 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 17792-17794 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 17534-17538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11153-11158
No TPTP formula. May not be expressible in strict first order. Merge.kif 17810-17812
No TPTP formula. May not be expressible in strict first order. Merge.kif 17675-17677
No TPTP formula. May not be expressible in strict first order. Merge.kif 17754-17756
No TPTP formula. May not be expressible in strict first order. Merge.kif 17540-17542
No TPTP formula. May not be expressible in strict first order. Merge.kif 17820-17822

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11194-11201 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 17671-17673 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 17750-17752 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 17792-17794 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 11422-11432
No TPTP formula. May not be expressible in strict first order. Music.kif 335-341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27165-27170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27138-27142
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 23223-23236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23706-23718
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 18693-18698
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 213-222
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 168-176
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 242-251
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 253-262
No TPTP formula. May not be expressible in strict first order. Merge.kif 18679-18684
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 184-193
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 151-159

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