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. chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order. Merge.kif 16147-16153
No TPTP formula. May not be expressible in strict first order. Merge.kif 16145-16145 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 16146-16146 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 16141-16141 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16140-16140 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16142-16142 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16143-16143 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16144-16144 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 597-597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38191-38191
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38190-38190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38189-38189

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11487-11494 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 16259-16261 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 16322-16324 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 16358-16360 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 16155-16159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11446-11451
No TPTP formula. May not be expressible in strict first order. Merge.kif 16372-16374
No TPTP formula. May not be expressible in strict first order. Merge.kif 16263-16265
No TPTP formula. May not be expressible in strict first order. Merge.kif 16326-16328
No TPTP formula. May not be expressible in strict first order. Merge.kif 16161-16163
No TPTP formula. May not be expressible in strict first order. Merge.kif 16380-16382

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11487-11494 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 16259-16261 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 16322-16324 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 16358-16360 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 11715-11725
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 27644-27649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27617-27621
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 23708-23721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24191-24203
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 17125-17130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11164-11173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11174-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11119-11127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11193-11202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11204-11213
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11135-11144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11145-11156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11110

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 3.0 is open source software produced by Articulate Software and its partners