Permission - Sigma Knowledge base Browser

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 17494-17495
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 17493-17493	Permission est une instance de deontic attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13845-13845	Legal est un sous-attribut de 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 14099-14105	agreementClause proposition , Permission, Agreement and agent cognitif agent cognitif a le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Law.kif 330-333	confersNorm entit�, formule and Permission confersNorm entit�, formule and Prohibition
No TPTP formula. May not be expressible in strict first order.	Law.kif 347-349	deprivesNorm entit�, formule and Permission deprivesNorm entit�, formule and Obligation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17340-17342	L'argument formule a la force modale de Permission l'argument formule a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17501-17503	L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18678-18694	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16881-16892	Objet est une instance de DriversLicense AutonomousAgent poss�de objet confersNorm objet, entit� entit� entit� est une instance de conduire entit� est un agent de AutonomousAgent entit� est un patient de entit� entit� est une instance de RoadVehicle and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16581-16588	Objet est une instance de PassCertificate AutonomousAgent poss�de objet entit� confersNorm objet, AutonomousAgent est situ� � entit� and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16560-16574	Objet est une instance de Passport AutonomousAgent poss�de objet confersNorm objet, entit� entit� and entit� entit� est une instance de Translocation entit� est un agent de AutonomousAgent entit� a pour origine entit� entit� aboutit � entit� entit� est une instance de nation entit� est une instance de nation entit� est entit� and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2626-2635	Policy est une instance de NoChildrenPolicy policyLocationCoverage Policy and objet policyOwner organisation and Policy deprivesNorm organisation, entit� entit� est une instance de HumanChild entit� est situ� � objet and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2577-2586	Policy est une instance de NoPetsPolicy policyLocationCoverage Policy and objet policyOwner organisation and Policy deprivesNorm organisation, entit� entit� est une instance de DomesticAnimal entit� est situ� � objet and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2593-2602	Policy est une instance de NoSmokingPolicy policyLocationCoverage Policy and objet policyOwner organisation and Policy deprivesNorm organisation, entit� entit� est une instance de Smoking entit� est situ� � objet and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2512-2528	Policy est une instance de PetPolicy policyLocationCoverage Policy and objet Policy contient information l'argument entit� entit� est une instance de DomesticAnimal entit� est situ� � objet a la force modale de Permission Policy contient information l'argument entit� entit� est une instance de DomesticAnimal entit� est situ� � objet a la force modale de Prohibition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2561-2570	Policy est une instance de PetsAllowedPolicy policyLocationCoverage Policy and objet policyOwner organisation and Policy confersNorm organisation, entit� entit� est une instance de DomesticAnimal entit� est situ� � objet and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2610-2619	Policy est une instance de SmokingAllowedPolicy policyLocationCoverage Policy and objet policyOwner organisation and Policy confersNorm organisation, entit� entit� est une instance de Smoking entit� est situ� � objet and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2489-2505	Policy est une instance de SmokingPolicy policyLocationCoverage Policy and objet Policy contient information l'argument entit� entit� est une instance de Smoking entit� est situ� � objet a la force modale de Permission Policy contient information l'argument entit� entit� est une instance de Smoking entit� est situ� � objet a la force modale de Prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22425-22432	Processus est une instance de Renting processus est un agent de AutonomousAgent entit� est un patient de processus l'argument AutonomousAgent utilise entit� a la force modale de Permission pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18700-18711	Processus est une instance de SeizingProperty processus aboutit � entit� processus a pour origine objet objet est une instance de agent cognitif entit� est une instance de gouvernement confersNorm objet, processus n' %n aboutit %n{pas} � entit� and Permission
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	AutonomousAgent est une instance de Ticket AutonomousAgent poss�de objet issuedBy AutonomousAgent and agent cognitif AmusementGamblingAndRecreationIndustries est un attribut de agent cognitif agent cognitif est situ� � objet confersNorm agent cognitif, entit� entit� est une instance de r�cr�ation ou exercice objet exp�rimente entit� eventLocated entit� and objet and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16541-16553	issuedBy certificat and agent cognitif certificat est une instance de Ticket AutonomousAgent poss�de certificat confersNorm agent cognitif, entit� entit� entit� est une instance de processus entit� est un agent de agent cognitif AutonomousAgent exp�rimente entit� pendant entit� and Permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 339-341	confersNorm entit�, formule and Obligation confersNorm entit�, formule and Permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 335-337	confersNorm entit�, formule and Prohibition confersNorm entit�, formule and Permission
No TPTP formula. May not be expressible in strict first order.	Law.kif 351-353	deprivesNorm entit�, formule and Prohibition confersNorm entit�, formule and Permission
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	Proposition est une instance de Constitution formule proposition formule est une instance de formule formule contient information proposition proposition est une instance de proposition proposition est une sous-proposition de proposition l'argument formule a la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17505-17507	L'argument formule a la force modale de Obligation l'argument formule a la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21007-21013	Humain occupe la position de JudgeAtLaw organisation l'argument entit� entit� est une instance de LegalDecision entit� est un agent de humain a la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4253-4255	AutonomousAgent poss�de objet l'argument AutonomousAgent utilise objet a la force modale de Permission

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

KB Term:			Term intersection

English Word: