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 17472-17473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11602-11602
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10187-10187
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11605-11605
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11603-11603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11604-11604
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11606-11606
No TPTP formula. May not be expressible in strict first order. Merge.kif 17471-17471 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 13846-13846 Legal is a subattribute of permission
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45276-45276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45275-45275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45274-45274

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14100-14106
No TPTP formula. May not be expressible in strict first order. Law.kif 330-333
No TPTP formula. May not be expressible in strict first order. Law.kif 347-349
No TPTP formula. May not be expressible in strict first order. Merge.kif 17318-17320

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17479-17481 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 17515-17517 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 18679-18695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16882-16893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16582-16589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16561-16575
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2626-2635
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2577-2586
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2593-2602
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2512-2528
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2561-2570
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2610-2619
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2489-2505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22426-22433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18701-18712
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 16542-16554
No TPTP formula. May not be expressible in strict first order. Law.kif 339-341
No TPTP formula. May not be expressible in strict first order. Law.kif 335-337
No TPTP formula. May not be expressible in strict first order. Law.kif 351-353
No TPTP formula. May not be expressible in strict first order. Government.kif 663-671
No TPTP formula. May not be expressible in strict first order. Merge.kif 17483-17485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21008-21014
No TPTP formula. May not be expressible in strict first order. Merge.kif 4253-4255


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