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 38184-38184
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 38183-38183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38182-38182

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10631-10638 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 10595-10600
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 10631-10638 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 10860-10870
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 25670-25675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25647
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 21961-21974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22372-22384
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 17125-17130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10335-10344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10346-10357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10285-10295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10365-10374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10376-10385
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 10304-10313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10315-10326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10266-10275

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