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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Permission

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 17219-17220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11618-11618
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10197-10197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11621-11621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11619-11619
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11620-11620
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11622-11622
No TPTP formula. May not be expressible in strict first order. Merge.kif 17218-17218 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 13312-13312 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45259-45259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45258-45258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45257-45257

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13572
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 17065-17067

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17226-17228 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 17262-17264 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 18050-18066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16321-16332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16022-16029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16001-16015
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2599-2608
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2550-2559
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2566-2575
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2485-2501
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 2583-2592
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2462-2478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21902-21909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18072-18083
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. Mid-level-ontology.kif 15982-15994
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 661-669
No TPTP formula. May not be expressible in strict first order. Merge.kif 17230-17232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20345-20351
No TPTP formula. May not be expressible in strict first order. Merge.kif 4163-4165


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 3.0 is open source software produced by Articulate Software and its partners