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 16078-16084
No TPTP formula. May not be expressible in strict first order. Merge.kif 16076-16076 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 16077-16077 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 16072-16072 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16071-16071 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16073-16073 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16074-16074 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16075-16075 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 38095-38095
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 38094-38094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38093-38093

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11512-11519 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 16190-16192 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 16253-16255 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 16289-16291 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 16086-16090
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11471-11476
No TPTP formula. May not be expressible in strict first order. Merge.kif 16303-16305
No TPTP formula. May not be expressible in strict first order. Merge.kif 16194-16196
No TPTP formula. May not be expressible in strict first order. Merge.kif 16257-16259
No TPTP formula. May not be expressible in strict first order. Merge.kif 16092-16094
No TPTP formula. May not be expressible in strict first order. Merge.kif 16311-16313

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11512-11519 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 16190-16192 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 16253-16255 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 16289-16291 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 11740-11750
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 27663-27668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27636-27640
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 23729-23742
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24212-24224
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 17049-17054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11189-11198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11199-11210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11144-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11218-11227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11229-11238
No TPTP formula. May not be expressible in strict first order. Merge.kif 17034-17039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11170-11181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11127-11135

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners