confersNorm |
appearance as argument number 1 |
![]() |
(documentation confersNorm ChineseLanguage "这个概念表达一个 Formula 、一个 Entity 和一个 ObjectiveNorm 之间的关系:就是这个 Entity 所表示的 Formula 有那个 ObjectiveNorm。") | chinese_format.kif 2103-2104 | |
(documentation confersNorm EnglishLanguage "Expresses the relationship between a Formula,an Entity, and an ObjectiveNorm when the Entity brings it about that the Formula has the ObjectiveNorm.") | Merge.kif 3858-3860 | |
(domain confersNorm 1 Entity) | Merge.kif 3854-3854 | |
(domain confersNorm 2 Formula) | Merge.kif 3855-3855 | |
(domain confersNorm 3 ObjectiveNorm) | Merge.kif 3856-3856 | |
(instance confersNorm TernaryPredicate) | Merge.kif 3853-3853 |
appearance as argument number 2 |
![]() |
(disjointRelation deprivesNorm confersNorm) | Merge.kif 3875-3875 | |
(format ChineseLanguage confersNorm "%1 %n{不是} confers 规范 %2 对于 %3 ") | domainEnglishFormat.kif 520-520 | |
(format ChineseTraditionalLanguage confersNorm "%1 %n{不是} confers 規範 %2 對於 %3 ") | domainEnglishFormat.kif 519-519 | |
(format EnglishLanguage confersNorm "%1 %n{doesn't} confers norm %2 for %3") | domainEnglishFormat.kif 518-518 | |
(termFormat ChineseLanguage confersNorm "赋予规范") | domainEnglishFormat.kif 16510-16510 | |
(termFormat ChineseTraditionalLanguage confersNorm "賦予規範") | domainEnglishFormat.kif 16509-16509 | |
(termFormat EnglishLanguage confersNorm "confers norm") | domainEnglishFormat.kif 16508-16508 |
antecedent |
![]() |
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 382-384 | |
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition))) |
Law.kif 373-376 | |
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 378-380 | |
(=> (holdsDuring ?TIME (confersNorm ?ENTITY ?FORMULA ?NORM)) (and (holdsDuring (ImmediatePastFn ?TIME) (not (modalAttribute ?FORMULA ?NORM))) (holdsDuring (ImmediateFutureFn ?TIME) (modalAttribute ?FORMULA ?NORM)))) |
Merge.kif 3862-3872 |
consequent |
![]() |
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) (earlier ?T1 ?T2)) (confersNorm (relative ?MONARCH ?SUCCESSOR) (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal)) |
Government.kif 209-221 | |
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission)))) |
Mid-level-ontology.kif 16379-16395 | |
(=> (and (instance ?L DriversLicense) (possesses ?A ?L)) (confersNorm ?L (exists (?D ?V) (and (instance ?D Driving) (agent ?D ?A) (patient ?D ?V) (instance ?V RoadVehicle))) Permission)) |
Mid-level-ontology.kif 14465-14476 | |
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission))) |
Mid-level-ontology.kif 14210-14217 | |
(=> (and (instance ?P Passport) (possesses ?A ?P)) (confersNorm ?P (exists (?T ?N1 ?N2) (and (instance ?T Translocation) (agent ?T ?A) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)))) Permission)) |
Mid-level-ontology.kif 14189-14203 | |
(=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission)) |
Hotel.kif 2507-2516 | |
(=> (and (instance ?POLICY SmokingAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?SMOKE) (and (instance ?SMOKE Smoking) (located ?SMOKE ?LOC))) Permission)) |
Hotel.kif 2556-2565 | |
(=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission)))) |
Mid-level-ontology.kif 16401-16412 | |
(=> (and (instance ?T Ticket) (possesses ?T ?CUST) (issuedBy ?T ?ORG) (attribute ?ORG AmusementGamblingAndRecreationIndustries) (located ?ORG ?LOC)) (confersNorm ?ORG (exists (?REC) (and (instance ?REC RecreationOrExercise) (experiencer ?REC ?CUST) (eventLocated ?REC ?LOC))) Permission)) |
naics.kif 11379-11391 | |
(=> (and (issuedBy ?TICKET ?AGENT) (instance ?TICKET Ticket) (possesses ?CUST ?TICKET)) (confersNorm ?AGENT (exists (?T) (holdsDuring ?T (exists (?P) (and (instance ?P Process) (agent ?P ?AGENT) (experiencer ?P ?CUST))))) Permission)) |
Mid-level-ontology.kif 14170-14182 | |
(=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 382-384 | |
(=> (confersNorm ?E ?F Permission) (not (confersNorm ?E ?F Prohibition))) |
Law.kif 373-376 | |
(=> (confersNorm ?E ?F Prohibition) (confersNorm ?E (not ?F) Permission)) |
Law.kif 378-380 | |
(=> (deprivesNorm ?E ?F Prohibition) (confersNorm ?E ?F Permission)) |
Law.kif 394-396 | |
(=> (instance ?DECLARE Declaring) (exists (?PROP ?NORM) (or (confersNorm ?DECLARE ?PROP ?NORM) (deprivesNorm ?DECLARE ?PROP ?NORM)))) |
Merge.kif 12316-12321 | |
(=> (instance ?DOC Certificate) (exists (?PROP ?NORM) (or (confersNorm ?DOC ?PROP ?NORM) (deprivesNorm ?DOC ?PROP ?NORM)))) |
Merge.kif 14505-14510 |
![]() |
![]() |