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 17464-17470
No TPTP formula. May not be expressible in strict first order. Merge.kif 17462-17462 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 17463-17463 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 17458-17458 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17457-17457 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17459-17459 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17460-17460 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17461-17461 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. french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order. relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38210-38210
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 38209-38209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38208-38208
No TPTP formula. May not be expressible in strict first order. terms-de.txt 232-232

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15221-15228 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 17576-17578 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 17639-17641 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 17675-17677 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 772-795
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 17472-17476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15185-15190
No TPTP formula. May not be expressible in strict first order. Merge.kif 17689-17695
No TPTP formula. May not be expressible in strict first order. Merge.kif 17580-17582
No TPTP formula. May not be expressible in strict first order. Merge.kif 17643-17645
No TPTP formula. May not be expressible in strict first order. Merge.kif 17478-17480
No TPTP formula. May not be expressible in strict first order. Merge.kif 17701-17707

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15221-15228 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 17576-17578 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 17639-17641 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 17675-17677 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 15450-15460
No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7168-7181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31379-31384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31352-31356
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5846
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3987-4007
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 134-143
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27648-27661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28059-28071
No TPTP formula. May not be expressible in strict first order. Merge.kif 3916-3926
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 157-176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Merge.kif 18618-18623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14875-14884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14825-14836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14905-14914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14916-14925

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. Medicine.kif 3171-3171 The statement ADA has the modal force of law
No TPTP formula. May not be expressible in strict first order. Government.kif 2368-2368 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 2366-2366 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 2363-2363 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