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 11483-11483 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45271-45271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45270-45270
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45269-45269

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11736-11742
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 16379-16395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14465-14476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14210-14217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14189-14203
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2573-2582
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2524-2533
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2540-2549
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2459-2475
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2508-2517
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2557-2566
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2436-2452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20365-20372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16401-16412
No TPTP formula. May not be expressible in strict first order. naics.kif 11379-11391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14170-14182
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 18720-18726
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