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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - modalAttribute
modalAttribute

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


(documentation modalAttribute ChineseLanguage "这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的 Proposition 含有 NormativeAttribute ?PROP。例如:(modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation)的意思是约翰有义务要给汤姆一样东西。.") chinese_format.kif 3857-3861
(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 16068-16074
(domain modalAttribute 1 Formula) Merge.kif 16066-16066 The number 1 argument of modal attribute is an instance of formula
(domain modalAttribute 2 NormativeAttribute) Merge.kif 16067-16067 The number 2 argument of modal attribute is an instance of normative attribute
(instance modalAttribute AsymmetricRelation) Merge.kif 16062-16062 modal attribute is an instance of asymmetric relation
(instance modalAttribute BinaryPredicate) Merge.kif 16061-16061 modal attribute is an instance of binary predicate
(instance modalAttribute IrreflexiveRelation) Merge.kif 16063-16063 modal attribute is an instance of irreflexive relation
(instance modalAttribute PartialValuedRelation) Merge.kif 16064-16064 modal attribute is an instance of partial valued relation
(subrelation modalAttribute property) Merge.kif 16065-16065 modal attribute is a subrelation of property

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


(format ChineseLanguage modalAttribute "%1 的声明 %n{doesn't have} %p{has} %2 的语气") chinese_format.kif 590-590
(format EnglishLanguage modalAttribute "the statement %1 %n{doesn't have} %p{has} the modal force of %2") english_format.kif 597-597
(termFormat ChineseLanguage modalAttribute "模态属性") domainEnglishFormat.kif 38095-38095
(termFormat ChineseLanguage modalAttribute "语气属性") chinese_format.kif 591-591
(termFormat ChineseTraditionalLanguage modalAttribute "模態屬性") domainEnglishFormat.kif 38094-38094
(termFormat EnglishLanguage modalAttribute "modal attribute") domainEnglishFormat.kif 38093-38093

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11460-11467 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))
Merge.kif 16180-16182 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))
Merge.kif 16243-16245 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
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))
Merge.kif 16279-16281 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
(=>
    (and
        (instance ?AGENT Agent)
        (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 725-748
(=>
    (and
        (modalAttribute ?FORMULA1 ?PROP)
        (entails ?FORMULA1 ?FORMULA2))
    (modalAttribute ?FORMULA2 ?PROP))
Merge.kif 16076-16080
(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))
Mid-level-ontology.kif 11419-11424
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 16293-16295
(=>
    (modalAttribute ?FORMULA Necessity)
    (modalAttribute ?FORMULA Possibility))
Merge.kif 16184-16186
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))
Merge.kif 16247-16249
(=>
    (modalAttribute ?FORMULA Permission)
    (modalAttribute ?FORMULA Possibility))
Merge.kif 16082-16084
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 16301-16303

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11460-11467 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))
Merge.kif 16180-16182 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))
Merge.kif 16243-16245 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
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))
Merge.kif 16279-16281 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
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))
Mid-level-ontology.kif 11688-11698
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))
Music.kif 313-319
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))
Mid-level-ontology.kif 27611-27616
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))
Mid-level-ontology.kif 27584-27588
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))
ArabicCulture.kif 125-134
(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2)
            (and
                (instance ?E2 Eating)
                (agent ?E2 ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2))
                (instance ?GRP2 GroupOfPeople)
                (eventLocated ?E2 ?X2)
                (meetsTemporally
                    (WhenFn ?E1)
                    (WhenFn ?E2))
                (equal ?X ?X2))) Possibility))
Dining.kif 1154-1171
(=>
    (and
        (attribute ?X Multilingual)
        (instance ?SPEAK Speaking)
        (agent ?SPEAK ?X))
    (modalAttribute
        (exists (?LANG1 ?LANG2)
            (and
                (instance ?LANG1 SpokenHumanLanguage)
                (instance ?LANG2 SpokenHumanLanguage)
                (not
                    (equal ?LANG1 ?LANG2))
                (or
                    (patient ?SPEAK ?LANG1)
                    (patient ?SPEAK ?LANG2)))) Possibility))
Mid-level-ontology.kif 23677-23690
(=>
    (and
        (attribute ?X WheelchairAccessible)
        (or
            (instance ?X Building)
            (instance ?X Room)))
    (modalAttribute
        (exists (?MOTION ?WHEELCHAIR)
            (and
                (instance ?MOTION Motion)
                (instrument ?MOTION ?WHEELCHAIR)
                (instance ?WHEELCHAIR Wheelchair)
                (eventLocated ?MOTION ?X))) Possibility))
Mid-level-ontology.kif 24160-24172
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (and
        (occupiesPosition ?VALET Valet ?AGENT)
        (modalAttribute
            (exists (?VP)
                (and
                    (instance ?VP ValetParking)
                    (agent ?VP ?VALET)
                    (patient ?VP ?VEHICLE)
                    (destination ?VP ?PARK)
                    (instance ?PARK ParkingRegion))) Possibility)))
TransportDetail.kif 153-171
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))
Hotel.kif 498-514
(=>
    (and
        (defaultMaxValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))
Merge.kif 17039-17044
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11137-11146
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11147-11158
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11092-11100
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY
                    (MultiplicationFn ?Q 1.5)))) Unlikely))
Mid-level-ontology.kif 11166-11175
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY
                    (MultiplicationFn ?Q .5)))) Unlikely))
Mid-level-ontology.kif 11177-11186
(=>
    (and
        (defaultMinValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))
Merge.kif 17024-17029
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11108-11117
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11118-11129
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11075-11083

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2348-2348 The statement antiterrorism and effective death penalty act has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) Government.kif 2346-2346 The statement immigration and nationality act- section219-US has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-US Law) Government.kif 2343-2343 The statement immigration and nationality act-US has the modal force of law


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners