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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Permission

Sigma KEE - 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。')

Merge.kif 17827-17828
s__documentation(s__Permission,s__EnglishLanguage,'Attribute that applies to Propositions that an Agent is permitted, by some authority, to make true.')

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

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

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

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

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

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

pictureList.kif 11633-11633
s__instance(s__DeonticAttribute,s__SetOrClass)

Merge.kif 17824-17824

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


s__subAttribute(s__Legal,s__Permission)

Mid-level-ontology.kif 11450-11450
s__termFormat(s__EnglishLanguage,s__Permission,'permission')

domainEnglishFormat.kif 7967-7967

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11703-11709
No TPTP formula. May not be expressible in strict first order. Law.kif 369-372
No TPTP formula. May not be expressible in strict first order. Law.kif 386-388
No TPTP formula. May not be expressible in strict first order. Merge.kif 17626-17628

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17836-17838
No TPTP formula. May not be expressible in strict first order. Merge.kif 17878-17880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16230-16246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14437-14448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14182-14189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14161-14175
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2567-2576
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2518-2527
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2534-2543
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2453-2469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2502-2511
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2551-2560
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2430-2446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20263-20270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16252-16263
No TPTP formula. May not be expressible in strict first order. naics.kif 11381-11393
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 568-577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14142-14154
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 374-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. Government.kif 657-665
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 466-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 17840-17842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18629-18635

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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