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

VerbNet: marvel-31.3|approve, admit-65|admit, promote-102|advance, admit-65|admit, equip-13.4.2|charge, marvel-31.3|approve, characterize-29.2|certify, equip-13.4.2|charge, patent-101|copyright, allow-64|permit, promote-102|advance, free-80|liberate, fill-9.8|endow, characterize-29.2|certify, fill-9.8|endow, fill-9.8|endow, free-80|relieve, use-105|exert, remove-10.1|extract, admire-31.2|favor, admire-31.2|favor, contribute-13.2|forfeit, contribute-13.2|forfeit, contribute-13.2|forfeit, free-80|relieve, fill-9.8|endow, future_having-13.3|grant, future_having-13.3|grant, involve-107|include, characterize-29.2|certify, fill-9.8|endow, admit-65|admit, fill-9.8|endow, promote-102|advance, allow-64|permit, admit-65|admit, free-80|liberate, characterize-29.2|certify, characterize-29.2|certify, use-105|exert, free-80|emancipate, marvel-31.3|approve, allow-64|permit, admire-31.2|favor, promote-102|advance, promote-102|advance, free-80|relieve, marvel-31.3|approve, steal-10.5|liberate, contribute-13.2|forfeit, ...


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 16263-16264
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 16262-16262 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 11481-11481 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45196-45196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45195-45195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45194-45194

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11734-11740
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 16109-16111

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16270-16272 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 16306-16308 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 16374-16390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14463-14474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14187-14201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2572-2581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2523-2532
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2539-2548
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2458-2474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2516
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2556-2565
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2435-2451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20359-20366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16396-16407
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 14168-14180
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 16274-16276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18714-18720
No TPTP formula. May not be expressible in strict first order. Merge.kif 4093-4095


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