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 16095-16101
No TPTP formula. May not be expressible in strict first order. Merge.kif 16093-16093 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 16094-16094 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 16089-16089 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16088-16088 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16090-16090 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16091-16091 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16092-16092 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 38116-38116
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 38115-38115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38114-38114

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11485-11492 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 16207-16209 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 16270-16272 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 16306-16308 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 16103-16107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11444-11449
No TPTP formula. May not be expressible in strict first order. Merge.kif 16320-16322
No TPTP formula. May not be expressible in strict first order. Merge.kif 16211-16213
No TPTP formula. May not be expressible in strict first order. Merge.kif 16274-16276
No TPTP formula. May not be expressible in strict first order. Merge.kif 16109-16111
No TPTP formula. May not be expressible in strict first order. Merge.kif 16328-16330

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11485-11492 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 16207-16209 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 16270-16272 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 16306-16308 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 11713-11723
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 27636-27641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27609-27613
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 23702-23715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24185-24197
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 17066-17071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11162-11171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11172-11183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11117-11125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11202-11211
No TPTP formula. May not be expressible in strict first order. Merge.kif 17051-17056
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11133-11142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11143-11154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11100-11108

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