Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  confersNorm

Sigma KEE - confersNorm
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 3997-3999
(documentation confersNorm JapaneseLanguage "FormulaObjectiveNorm を保持していると Entity がもたらすとき、FormulaEntity、および ObjectiveNorm 間で関係を表す。") japanese_format.kif 754-755
(domain confersNorm 1 Entity) Merge.kif 3993-3993 赋予规范 的 1 数量 是 实体instance
(domain confersNorm 2 Formula) Merge.kif 3994-3994 赋予规范 的 2 数量 是 公式instance
(domain confersNorm 3 ObjectiveNorm) Merge.kif 3995-3995 赋予规范 的 3 数量 是 客观标准instance
(instance confersNorm TernaryPredicate) Merge.kif 3992-3992 赋予规范三元谓语instance

appearance as argument number 2
-------------------------


(disjointRelation deprivesNorm confersNorm) Merge.kif 4014-4014 剥夺了规范赋予规范disjoint 关系
(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 16578-16578
(termFormat ChineseTraditionalLanguage confersNorm "賦予規範") domainEnglishFormat.kif 16577-16577
(termFormat EnglishLanguage confersNorm "confers norm") domainEnglishFormat.kif 16576-16576

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


(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 339-341
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 330-333
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 335-337
(=>
    (holdsDuring ?TIME
        (confersNorm ?ENTITY ?FORMULA ?NORM))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))))
Merge.kif 4001-4011

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


(=>
    (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 18706-18722
(=>
    (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 16909-16920
(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm ?P
            (located ?A ?L) Permission)))
Mid-level-ontology.kif 16609-16616
(=>
    (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 16588-16602
(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))
Hotel.kif 2561-2570
(=>
    (and
        (instance ?POLICY SmokingAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?SMOKE)
            (and
                (instance ?SMOKE Smoking)
                (located ?SMOKE ?LOC))) Permission))
Hotel.kif 2610-2619
(=>
    (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 18728-18739
(=>
    (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 11456-11468
(=>
    (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 16569-16581
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 339-341
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 330-333
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 335-337
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 351-353
(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 13292-13297
(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 15685-15690


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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