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 17044-17050
No TPTP formula. May not be expressible in strict first order. Merge.kif 17042-17042 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 17043-17043 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 17038-17038 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17037-17037 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17039 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17040-17040 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17041-17041 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 594-594
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 13316-13323 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 17156-17158 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 17219-17221 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 17255-17257 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 17052-17056
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13280-13285
No TPTP formula. May not be expressible in strict first order. Merge.kif 17269-17271
No TPTP formula. May not be expressible in strict first order. Merge.kif 17160-17162
No TPTP formula. May not be expressible in strict first order. Merge.kif 17223-17225
No TPTP formula. May not be expressible in strict first order. Merge.kif 17058-17060
No TPTP formula. May not be expressible in strict first order. Merge.kif 17277-17279

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13316-13323 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 17156-17158 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 17219-17221 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 17255-17257 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 13545-13555
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 5907-5920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28824-28829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28797-28801
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 25115-25128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25526-25538
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 18172-18177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13002-13011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13013-13024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12952-12962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13032-13041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13043-13052
No TPTP formula. May not be expressible in strict first order. Merge.kif 18155-18160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12971-12980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12982-12993

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 2392-2392 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 2390-2390 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 2387-2387 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