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 17158-17164
No TPTP formula. May not be expressible in strict first order. Merge.kif 17156-17156 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 17157-17157 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 17152-17152 modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17151-17151 modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17153-17153 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17154-17154 modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17155-17155 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 38183-38183
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 38182-38182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38181-38181

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13696-13703 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 17270-17272 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 17333-17335 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 17369-17371 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. Merge.kif 17166-17170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13660-13665
No TPTP formula. May not be expressible in strict first order. Merge.kif 17383-17385
No TPTP formula. May not be expressible in strict first order. Merge.kif 17274-17276
No TPTP formula. May not be expressible in strict first order. Merge.kif 17337-17339
No TPTP formula. May not be expressible in strict first order. Merge.kif 17172-17174
No TPTP formula. May not be expressible in strict first order. Merge.kif 17391-17393

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13696-13703 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 17270-17272 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 17333-17335 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 17369-17371 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 13925-13935
No TPTP formula. May not be expressible in strict first order. Music.kif 315-321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6191-6204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29373-29378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29346-29350
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. 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 25656-25669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26067-26079
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
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 18286-18291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13382-13391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13393-13404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13332-13343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13412-13421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13423-13432
No TPTP formula. May not be expressible in strict first order. Merge.kif 18269-18274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13351-13360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13362-13373

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 2407-2407 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 2405-2405 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 2402-2402 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