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

Formal Language: 



KB Term:  Term intersection
English Word: 

  modalAttribute

 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 17375-17381
(domain modalAttribute 1 Formula) Merge.kif 17373-17373 Le nombre 1 argument de modalAttribute est une instance de formule
(domain modalAttribute 2 NormativeAttribute) Merge.kif 17374-17374 Le nombre 2 argument de modalAttribute est une instance de attribut normatif
(instance modalAttribute AsymmetricRelation) Merge.kif 17369-17369 modalAttribute est une instance de relation asym�trique
(instance modalAttribute BinaryPredicate) Merge.kif 17368-17368 modalAttribute est une instance de pr�dicat binaire
(instance modalAttribute IrreflexiveRelation) Merge.kif 17370-17370 modalAttribute est une instance de relation irr�flexive
(instance modalAttribute PartialValuedRelation) Merge.kif 17371-17371 modalAttribute est une instance de relation partielle
(subrelation modalAttribute property) Merge.kif 17372-17372 modalAttribute est une sous-relation de 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 594-594
(format FrenchLanguage modalAttribute "l'argument %1 %n{n'} %p{a} %n{pas} la force modale de %2") french_format.kif 353-353
(format ItalianLanguage modalAttribute "l'affermazione %1 ha il modello di forza di %2") relations-it.txt 192-192
(format JapaneseLanguage modalAttribute "ステートメント %1 には %2 の modal force が %n{ない} %p{ある}") japanese_format.kif 2100-2100
(format PortugueseLanguage modalAttribute "o argumento %1 %n{nao} %p{tem} %n a forca modal de %2") portuguese_format.kif 305-305
(format de modalAttribute "die Aussage %1 hat die modale Kraft von %2") relations-de.txt 775-775
(format hi modalAttribute "%1 prakathana kii ruupaatmaka visheshhataa %2 hai") relations-hindi.txt 230-230
(format ro modalAttribute "afirmaþa %1 %n{nu} are force%t{forþa} modal%t{modalã} a lui %2") relations-ro.kif 375-375
(format sv modalAttribute "påståendet %1 har den modala kraften av %2") relations-sv.txt 393-393
(termFormat ChineseLanguage modalAttribute "模态属性") domainEnglishFormat.kif 38235-38235
(termFormat ChineseLanguage modalAttribute "语气属性") chinese_format.kif 591-591
(termFormat ChineseTraditionalLanguage modalAttribute "模態屬性") domainEnglishFormat.kif 38234-38234
(termFormat EnglishLanguage modalAttribute "modal attribute") domainEnglishFormat.kif 38233-38233

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 14068-14075 L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 17487-17489 L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17550-17552 L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17586-17588 L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission
(=>
    (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 Attaching)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 44-59
(=>
    (and
        (modalAttribute ?FORMULA1 ?PROP)
        (entails ?FORMULA1 ?FORMULA2))
    (modalAttribute ?FORMULA2 ?PROP))		 Merge.kif 17383-17387
(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))		 Mid-level-ontology.kif 14032-14037
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17600-17606
(=>
    (modalAttribute ?FORMULA Necessity)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17491-17493
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17554-17556
(=>
    (modalAttribute ?FORMULA Permission)
    (modalAttribute ?FORMULA Possibility))		 Merge.kif 17389-17391
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17612-17618

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 14068-14075 L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule
(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))		 Merge.kif 17487-17489 L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility
(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17550-17552 L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission
(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17586-17588 L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de 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 14297-14307
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 6225-6238
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 29742-29747
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))		 Mid-level-ontology.kif 29715-29719
(=>
    (and
        (attribute ?H ?D)
        (diseaseTreatment ?D ?P)
        (instance ?TP TherpeuticProcess)
        (agent ?TP ?DOC)
        (patient ?TP ?H)
        (attribute ?DOC MedicalDoctor))
    (modalAttribute
        (instance ?TP ?P) Possibility))		 Medicine.kif 5824-5834
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223
(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))		 Medicine.kif 3984-4004
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 134-143
(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2 ?X2)
            (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 1207-1224
(=>
    (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 26012-26025
(=>
    (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 26423-26435
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (exists (?VALET)
        (and
            (occupiesPosition ?VALET Valet ?AGENT)
            (modalAttribute
                (exists (?VP ?PARK)
                    (and
                        (instance ?VP ValetParking)
                        (agent ?VP ?VALET)
                        (patient ?VP ?VEHICLE)
                        (destination ?VP ?PARK)
                        (instance ?PARK ParkingRegion))) Possibility))))		 TransportDetail.kif 157-176
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC ?PROC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHYS)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 522-538
(=>
    (and
        (defaultMaxValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))		 Merge.kif 18525-18530
(=>
    (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 13754-13763
(=>
    (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 13765-13776
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (exists (?RADIUS)
            (and
                (sphereRadius ?INST
                    (MeasureFn ?RADIUS ?U))
                (greaterThan ?RADIUS ?R))) Unlikely))		 Mid-level-ontology.kif 13704-13715
(=>
    (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 13784-13793
(=>
    (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 13795-13804
(=>
    (and
        (defaultMinValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?VAL ?N) Likely))		 Merge.kif 18508-18513

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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