Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Permission
Permission(permission)
more pictures...
O.K., accredit, admit, advance, affranchise, aggrieve, allow, allow_in, allowable, appoint, approve, assign, authorise, authorize, bail_out, bear, bring_up, certify, charge, charter, claim, commission, consent, copyright, correct, countenance, create, cut_in, decertify, declare, deductible, defrock, deny, depute, deputise, deputize, derecognise, derecognize, derestrict, disbar, disinherit, dismissal, disown, easement, elevate, emancipate, empower, endorse, endow, endue...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3905-3906
No TPTP formula. May not be expressible in strict first order. Merge.kif 17647-17648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11595-11595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10185-10185
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11598-11598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11596-11596
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11597-11597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11599-11599
No TPTP formula. May not be expressible in strict first order. Merge.kif 17646-17646 Permission is an instance of deontic attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15217-15217 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45278-45278 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45277-45277 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45276-45276 Legal is a subattribute of permission

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15471-15477
No TPTP formula. May not be expressible in strict first order. Law.kif 336-339
No TPTP formula. May not be expressible in strict first order. Law.kif 353-355
No TPTP formula. May not be expressible in strict first order. Merge.kif 17493-17495

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17654-17656 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 17690-17692 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 20250-20266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18269-18280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17969-17976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17962
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2646
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2588-2597
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2604-2613
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2539
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2572-2581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2621-2630
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2500-2516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20272-20283
No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3242-3266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17929-17941
No TPTP formula. May not be expressible in strict first order. Law.kif 345-347
No TPTP formula. May not be expressible in strict first order. Law.kif 341-343
No TPTP formula. May not be expressible in strict first order. Law.kif 357-359
No TPTP formula. May not be expressible in strict first order. Government.kif 627-635
No TPTP formula. May not be expressible in strict first order. Merge.kif 17658-17660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22625-22631
No TPTP formula. May not be expressible in strict first order. Merge.kif 4281-4283

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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