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
-------------------------


s__documentation(s__Permission,s__ChineseLanguage,'"这个 Attribute 用来表示某种权威允许 Agent 去 实现 Proposition。"')

chinese_format.kif 3905-3906
s__documentation(s__Permission,s__EnglishLanguage,'"Attribute that applies to Propositions that an Agent is permitted, by some authority, to make true."')

Merge.kif 16663-16664
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Permission_last.fm.png"')

pictureList.kif 11628-11628
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Plato-raphael.jpg"')

pictureList.kif 10207-10207
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Permit.JPG"')

pictureList.kif 11631-11631
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Szelinski-Singer_permission_picture.JPG"')

pictureList.kif 11629-11629
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Steal_this_film_2_permission.png"')

pictureList.kif 11630-11630
s__externalImage(s__Permission,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Permit_for_Burial_or_Removal.jpg"')

pictureList.kif 11632-11632
s__instance(s__Permission,s__DeonticAttribute)

s__instance(s__DeonticAttribute,s__SetOrClass)

Merge.kif 16662-16662 Permission is an instance of deontic attribute

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


s__subAttribute(s__Legal,s__Permission)

Mid-level-ontology.kif 12427-12427 Legal is a subattribute of permission
s__termFormat(s__ChineseLanguage,s__Permission,'"允许"')

domainEnglishFormat.kif 45259-45259
s__termFormat(s__ChineseTraditionalLanguage,s__Permission,'"允許"')

domainEnglishFormat.kif 45258-45258
s__termFormat(s__EnglishLanguage,s__Permission,'"permission"')

domainEnglishFormat.kif 45257-45257

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12681-12687
No TPTP formula. May not be expressible in strict first order. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. Law.kif 390-392
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16511

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16670-16672 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 16706-16708 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 17094-17110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15365-15376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15105-15112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15084-15098
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2537-2546
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2553-2562
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2472-2488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2521-2530
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2570-2579
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2449-2465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20931-20938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17116-17127
No TPTP formula. May not be expressible in strict first order. naics.kif 11463-11475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15065-15077
No TPTP formula. May not be expressible in strict first order. Law.kif 382-384
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
No TPTP formula. May not be expressible in strict first order. Law.kif 394-396
No TPTP formula. May not be expressible in strict first order. Government.kif 650-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 16674-16676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19388-19394
No TPTP formula. May not be expressible in strict first order. Merge.kif 4108-4110


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