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 16315-16316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11629-11629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10208-10208
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11632-11632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11630-11630
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11631-11631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11633-11633
No TPTP formula. May not be expressible in strict first order. Merge.kif 16314-16314 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 10627-10627 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 10881-10887
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 16161-16163

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16322-16324 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 16358-16360 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 15218-15234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13489-13500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13229-13236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13208-13222
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 18896-18903
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15240-15251
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 13189-13201
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 16326-16328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17413-17419
No TPTP formula. May not be expressible in strict first order. Merge.kif 4105-4107


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