Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - modalAttribute
modalAttribute

appearance as argument number 1
-------------------------


(instance modalAttribute BinaryPredicate) Merge.kif 17647-17647
(instance modalAttribute IrreflexiveRelation) Merge.kif 17648-17648
(instance modalAttribute PartialValuedRelation) Merge.kif 17649-17649
(subrelation modalAttribute property) Merge.kif 17650-17650
(domain modalAttribute 1 Formula) Merge.kif 17651-17651
(domain modalAttribute 2 NormativeAttribute) Merge.kif 17652-17652
(documentation modalAttribute EnglishLanguage "A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something.") Merge.kif 17653-17659

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


(termFormat EnglishLanguage modalAttribute "modal attribute") domainEnglishFormat.kif 38201-38201
(termFormat ChineseTraditionalLanguage modalAttribute "模態屬性") domainEnglishFormat.kif 38202-38202
(termFormat ChineseLanguage modalAttribute "模态属性") domainEnglishFormat.kif 38203-38203
(format EnglishLanguage modalAttribute "the statement %1 %n{doesn't have} %p{has} the modal force of %2") english_format.kif 594-594

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


(=>
    (modalAttribute ?FORMULA Permission)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17668-17670
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 17765-17769
(=>
    (modalAttribute ?FORMULA Necessity)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17771-17773
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17828-17830
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17832-17834
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17864-17866
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17878-17884
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17890-17896
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (truth
                    (not
                        (and ?F1 ?F2)) True)))))		 Mid-level-ontology.kif 15449-15457
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (potentialCustomer ?CUST ?AGENT)
        (modalAttribute
            (and
                (instance ?R Reserving)
                (destination ?R ?AGENT)) Necessity)
        (conditionalProbability
            (exists (?RES1)
                (and
                    (instance ?RES1 Reservation)
                    (reservingEntity ?CUST ?RES1)
                    (fulfillingEntity ?AGENT ?RES1)))
            (customer ?CUST ?AGENT) ?NUM1)
        (conditionalProbability
            (not
                (exists (?RES2)
                    (and
                        (instance ?RES2 Reservation)
                        (reservingEntity ?CUST ?RES2)
                        (fulfillingEntity ?AGENT ?RES2))))
            (customer ?CUST ?AGENT) ?NUM2))
    (lessThan ?NUM2 ?NUM1))		 Dining.kif 772-795
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 45-60

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


(=>
    (and
        (capability ?PROCESS ?ROLE ?OBJ)
        (instance ?OBJ Device)
        (not
            (attribute ?OBJ DeviceDamaged)))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?ROLE ?P ?OBJ))) Possibility))		 Merge.kif 4020-4030
(=>
    (holdsDuring ?TIME
        (confersNorm ?ENTITY ?NORM ?FORMULA))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))))		 Merge.kif 4103-4113
(=>
    (holdsDuring ?TIME
        (deprivesNorm ?ENTITY ?NORM ?FORMULA))
    (and
        (holdsDuring
            (ImmediatePastFn ?TIME)
            (modalAttribute ?FORMULA ?NORM))
        (holdsDuring
            (ImmediateFutureFn ?TIME)
            (not
                (modalAttribute ?FORMULA ?NORM)))))		 Merge.kif 4125-4134
(=>
    (possesses ?PERSON ?OBJ)
    (modalAttribute
        (uses ?OBJ ?PERSON) Permission))		 Merge.kif 4367-4369
(=>
    (and
        (instance ?COMMIT Committing)
        (containsFormula ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))		 Merge.kif 13529-13534
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))		 Merge.kif 15462-15483
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))		 Merge.kif 16249-16256
(=>
    (modalAttribute ?FORMULA Permission)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17668-17670
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 17765-17769
(=>
    (modalAttribute ?FORMULA Necessity)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17771-17773
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17828-17830
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17832-17834
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17864-17866
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))		 Merge.kif 18566-18576
(=>
    (and
        (defaultMinValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))		 Merge.kif 18777-18782
(=>
    (and
        (defaultMaxValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))		 Merge.kif 18794-18799
(=>
    (and
        (defaultValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (equal ?N ?VAL) Likely))		 Merge.kif 18811-18816
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C CollectionOfObjects)
            (member ?P ?C)
            (instance ?P ?CLASS)
            (subclass ?CLASS SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?CLASS Lead)
                    (lessThan ?X 10)) Likely))))		 Mid-level-ontology.kif 1147-1160
(=>
    (instance ?S Spear)
    (modalAttribute
        (material Metal ?S) Likely))		 Mid-level-ontology.kif 1247-1250
(=>
    (instance ?S Strap)
    (modalAttribute
        (material Fabric ?S) Likely))		 Mid-level-ontology.kif 1750-1752
(=>
    (instance ?GUN ArtilleryGun)
    (modalAttribute
        (exists (?W)
            (and
                (instance ?W Wheel)
                (part ?W ?GUN))) Likely))		 Mid-level-ontology.kif 1899-1905
(=>
    (instance ?L Longgun)
    (hasPurpose ?L
        (exists (?S ?A)
            (and
                (instance ?S Shooting)
                (instrument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (holdsDuring
                    (WhenFn ?S)
                    (exists (?G)
                        (and
                            (instance ?G Grabbing)
                            (agent ?G ?A)
                            (patient ?G ?L)
                            (modalAttribute
                                (exists (?H1 ?H2)
                                    (and
                                        (instance ?H1 Hand)
                                        (part ?H1 ?A)
                                        (instance ?H2 Hand)
                                        (part ?H2 ?A)
                                        (not
                                            (equal ?H1 ?H2))
                                        (instrument ?G ?H1)
                                        (instrument ?G ?H2))) Necessity))))))))		 Mid-level-ontology.kif 1966-1992
(=>
    (instance ?GUN Handgun)
    (hasPurpose ?GUN
        (exists (?MAN ?S ?H ?G ?S)
            (and
                (instance ?MAN Human)
                (instance ?S Shooting)
                (instrument ?S ?GUN)
                (agent ?S ?MAN)
                (instance ?G Grabbing)
                (subProcess ?G ?S)
                (patient ?G ?GUN)
                (agent ?G ?MAN)
                (instrument ?G ?H)
                (instance ?H Hand)
                (part ?H ?MAN)
                (not
                    (modalAttribute
                        (exists (?H2)
                            (and
                                (instance ?H2 Hand)
                                (not
                                    (equal ?H ?H2))
                                (part ?H2 ?MAN)
                                (instrument ?G ?H2))) Necessity))))))		 Mid-level-ontology.kif 2045-2069
(=>
    (and
        (instance ?GUN RevolverGun)
        (part ?CY ?GUN)
        (instance ?CY GunCylinder))
    (modalAttribute
        (exists (?COLL)
            (and
                (part ?COLL ?CY)
                (instance ?COLL CollectionOfObjects)
                (memberType ?COLL GunChamber)
                (memberCount ?COLL 6))) Likely))		 Mid-level-ontology.kif 2130-2141
(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))		 Mid-level-ontology.kif 2585-2594

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula ImmigrationAndNationalityAct_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2372-2376
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2379-2383
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula AntiterrorismAndEffectiveDeathPenaltyAct ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2395-2399
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula AmericansWithDisabilitiesAct_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Medicine.kif 3176-3180


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners