modalAttribute - Sigma Knowledge base Browser

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 17326-17332
(domain modalAttribute 1 Formula)	Merge.kif 17324-17324	Die Zahl 1 Argument von modalAttribute ist ein fall von Formula %n{nicht}
(domain modalAttribute 2 NormativeAttribute)	Merge.kif 17325-17325	Die Zahl 2 Argument von modalAttribute ist ein fall von NormativeAttribute %n{nicht}
(instance modalAttribute AsymmetricRelation)	Merge.kif 17320-17320	modalAttribute ist ein fall von AsymmetricRelation %n{nicht}
(instance modalAttribute BinaryPredicate)	Merge.kif 17319-17319	modalAttribute ist ein fall von BinaryPredicate %n{nicht}
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17321-17321	modalAttribute ist ein fall von IrreflexiveRelation %n{nicht}
(instance modalAttribute PartialValuedRelation)	Merge.kif 17322-17322	modalAttribute ist ein fall von PartialValuedRelation %n{nicht}
(subrelation modalAttribute property)	Merge.kif 17323-17323	modalAttribute ist eine teilrelation von eigenschaft

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 38199-38199
(termFormat ChineseLanguage modalAttribute "语气属性")	chinese_format.kif 591-591
(termFormat ChineseTraditionalLanguage modalAttribute "模態屬性")	domainEnglishFormat.kif 38198-38198
(termFormat EnglishLanguage modalAttribute "modal attribute")	domainEnglishFormat.kif 38197-38197

antecedent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13849-13856	Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht Formula um die Aussage Formula hat die modale Kraft von Law und consistent Formula and Formula
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 17438-17440	Die Aussage Formula hat die modale Kraft von Necessity genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von Possibility
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 17501-17503	Die Aussage Formula hat die modale Kraft von Obligation genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von Permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 17537-17539	Die Aussage Formula hat die modale Kraft von Prohibition genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von 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	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und potentialCustomer CognitiveAgent and AutonomousAgent und die Aussage entity ist ein fall von Reserving %n{nicht} und entity endet an AutonomousAgent %n{nicht} hat die modale Kraft von Necessity und Gesetzt den Fall, dass customer CognitiveAgent and AutonomousAgent gilt, ist die wahrscheinlichkeit von es gibt entityES1 um entityES1 ist ein fall von Reservation %n{nicht} und reservingEntity CognitiveAgent and entityES1 und fulfillingEntity AutonomousAgent and entityES1 RealNumber und Gesetzt den Fall, dass customer CognitiveAgent and AutonomousAgent gilt, ist die wahrscheinlichkeit von es gibt nicht entityES2 um entityES2 ist ein fall von Reservation %n{nicht} und reservingEntity CognitiveAgent and entityES2 und fulfillingEntity AutonomousAgent and entityES2 RealNumber, dann RealNumber ist kleinerAls ** RealNumber %n{nicht}
(=> (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	Wenn Process ist ein fall von Bleeding %n{nicht} und Entity ist ein fall von Death %n{nicht} und Formula ist ein fall von Human %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Formula ist Near hinsichlich AutonomousAgent %n{nicht} und die Aussage Process verursacht Entity %n{nicht} hat die modale Kraft von Likely, dann es gibt entity um entity ist ein fall von Attaching %n{nicht} und entity ist der agent von Formula %n{nicht} und entity endet an AutonomousAgent %n{nicht} wird gezwungen, die Aufgabe der Art von Formula durchzuf�hren %n{nicht}
(=> (and (modalAttribute ?FORMULA1 ?PROP) (entails ?FORMULA1 ?FORMULA2)) (modalAttribute ?FORMULA2 ?PROP))	Merge.kif 17334-17338	Wenn die Aussage Formula hat die modale Kraft von NormativeAttribute und Formula hat Formula zur Folge %n{nicht}, dann die Aussage Formula hat die modale Kraft von ** NormativeAttribute
(=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1))))	Mid-level-ontology.kif 13813-13818	Wenn die Aussage entity hat die modale Kraft von Law haelt waehrend TimeInterval %n{nicht}, dann es gibt TimeInterval um LegislativeBill ist ein attribut von entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als ** TimeInterval %n{nicht}
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False))))	Merge.kif 17551-17553	Wenn die Aussage Formula hat die modale Kraft von Likely, dann die wahrscheinlichkeit von truth Formula and True ist groesserAls die wahrscheinlichkeit von truth Formula and False %n{nicht}
(=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA Possibility))	Merge.kif 17442-17444	Wenn die Aussage Formula hat die modale Kraft von Necessity, dann die Aussage ** Formula hat die modale Kraft von Possibility
(=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission))	Merge.kif 17505-17507	Wenn die Aussage Formula hat die modale Kraft von Obligation, dann die Aussage ** Formula hat die modale Kraft von Permission
(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility))	Merge.kif 17340-17342	Wenn die Aussage Formula hat die modale Kraft von Permission, dann die Aussage ** Formula hat die modale Kraft von Possibility
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True))))	Merge.kif 17559-17561	Wenn die Aussage Formula hat die modale Kraft von Unlikely, dann die wahrscheinlichkeit von truth Formula and False ist groesserAls die wahrscheinlichkeit von truth Formula and True %n{nicht}

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13849-13856	Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht Formula um die Aussage Formula hat die modale Kraft von Law und consistent Formula and Formula
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 17438-17440	Die Aussage Formula hat die modale Kraft von Necessity genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von Possibility
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission)))	Merge.kif 17501-17503	Die Aussage Formula hat die modale Kraft von Obligation genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von Permission
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission)))	Merge.kif 17537-17539	Die Aussage Formula hat die modale Kraft von Prohibition genau dann wenn nicht die Aussage ** Formula hat die modale Kraft von 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 14078-14088	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent und DeonticAttribute ist gleich Obligation %n{nicht} oder DeonticAttribute ist gleich Promise %n{nicht}, dann die Aussage es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von CognitiveAgent %n{nicht} hat die modale Kraft von Likely
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely))	Music.kif 316-322	Wenn albumCoverImage Album and Image und Object ist ein fall von AlbumCopiesFn Album and DataStorageDevice %n{nicht} und contains SelfConnectedObject and Object, dann die Aussage Image ist ein teil von die frontseite von ** SelfConnectedObject %n{nicht} hat die modale Kraft von Likely
(=> (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 6230-6243	Wenn allergic Human and Substance und SubstanceUB ist ein fall von Substance %n{nicht} und SubstanceUB schliesst Human raeumlich an haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von AllergicReaction %n{nicht} und Human erfaehrt entity %n{nicht} und die zeit des Bestehens von entity deckt sich mit TimePosition %n{nicht} und der anfang von TimePosition geschieht vor der anfang von die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Likely
(=> (and (attribute ?D DeviceDamaged) (hasPurpose ?D ?F)) (not (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 29446-29451	Wenn DeviceDamaged ist ein attribut von Object %n{nicht} und Object hat Zweck von Formula %n{nicht}, dann nicht die Aussage Formula hat die modale Kraft von Possibility
(=> (and (attribute ?D DeviceNormal) (hasPurpose ?D ?F)) (modalAttribute ?F Possibility))	Mid-level-ontology.kif 29419-29423	Wenn DeviceNormal ist ein attribut von Object %n{nicht} und Object hat Zweck von Formula %n{nicht}, dann die Aussage Formula hat die modale Kraft von Possibility
(=> (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	Wenn DiseaseOrSyndrome ist ein attribut von Object %n{nicht} und diseaseTreatment DiseaseOrSyndrome and TherapeuticProcess und Process ist ein fall von TherpeuticProcess %n{nicht} und Process ist der agent von DiseaseOrSyndromeOC %n{nicht} und Object ist ein patient von Process %n{nicht} und MedicalDoctor ist ein attribut von DiseaseOrSyndromeOC %n{nicht}, dann die Aussage Process ist ein fall von ** TherapeuticProcess %n{nicht} hat die modale Kraft von Possibility
(=> (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	Wenn Muslim ist ein attribut von AutonomousAgent %n{nicht} und wert von dem Eigentum von AutonomousAgent ist gleich CurrencyMeasure %n{nicht}, dann die Aussage es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Zakat %n{nicht} und entity ist ein fall von Year %n{nicht} und entity geschieht waehrend die zeit des Bestehens von AutonomousAgent %n{nicht} und FullyFormed ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend entity %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} und wert von entity ist entity entity(s) und entity ist ein fall von UnitOfCurrency %n{nicht} und entity ist groesserAls CurrencyMeasure und 0.025 %n{nicht} hat die modale Kraft von Obligation
(=> (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	Wenn ADHD ist ein attribut von AutonomousAgent %n{nicht} und ADHD ist ein attribut von AutonomousAgent nicht und AutonomousAgent ist gleich AutonomousAgent nicht und Process ist ein fall von Class %n{nicht} und Process ist ein fall von Class %n{nicht} und Class ist eine teilkategorie von IntentionalPsychologicalProcess und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht}, dann die Aussage TimeDuration ist groesserAls TimeDuration %n{nicht} hat die modale Kraft von Likely
(=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation))	ArabicCulture.kif 134-143	Wenn Muslim ist ein attribut von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle agent Hajj zu tun, dann die Aussage es gibt entity um entity ist ein fall von Hajj %n{nicht} und entity ist der agent von Object %n{nicht} hat die modale Kraft von Obligation
(=> (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	Wenn CommunalAttribute ist ein attribut von Object %n{nicht} und Object ist ein fall von Table %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und eventLocated Process and Object, dann die Aussage es gibt entity, entity, and und Object2 um entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und AutonomousAgent ist gleich entity nicht und entity ist ein fall von GroupOfPeople %n{nicht} und eventLocated entity and Object2 und die zeit des Bestehens von Process schliesst die zeit des Bestehens von entity zeitlich an und Object ist gleich ** Object2 %n{nicht} hat die modale Kraft von Possibility
(=> (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 25736-25749	Wenn Multilingual ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von Speaking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von SpokenHumanLanguage %n{nicht} und entity ist ein fall von SpokenHumanLanguage %n{nicht} und entity ist gleich entity nicht und entity ist ein patient von Process %n{nicht} oder entity ist ein patient von Process %n{nicht} hat die modale Kraft von Possibility
(=> (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 26147-26159	Wenn WheelchairAccessible ist ein attribut von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Motion %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Wheelchair %n{nicht} und eventLocated entity and ** Object hat die modale Kraft von Possibility
(=> (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 153-172	Wenn Organization ist faehig %n{nicht}, in der Rolle agent ValetParking zu tun und customer CognitiveAgent and Organization und Organization befindet sich an %n{nicht} und Process ist ein fall von Arriving %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Object %n{nicht}, dann es gibt Human um Human besetzt die position von Valet in Organization und die Aussage es gibt entity und entity um entity ist ein fall von ValetParking %n{nicht} und entity ist der agent von Human %n{nicht} und Entity ist ein patient von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von ParkingRegion %n{nicht} hat die modale Kraft von Possibility
(=> (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	Wenn customer CognitiveAgent and AutonomousAgent und propertyAmenity AutonomousAgent and Physical und Physical ist eine teilkategorie von Process, dann die Aussage es gibt entity, entity, and und entity um entity ist ein element von eigentum von AutonomousAgent %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und entity ist ein fall von Physical %n{nicht} oder entity ist ein fall von Physical %n{nicht} und entity ist ein subProzess von entity und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 18468-18473	Wenn defaultMaxValue Predicate, PositiveInteger and Quantity und Predicate @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann die Aussage Quantity ist groesserAls Entity %n{nicht} hat die modale Kraft von Likely
(=> (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 13535-13544	Wenn defaultMaximumMeasure Object and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht}, dann die Aussage es gibt entity und RealNumberUANTITY um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY UnitOfMeasure(s) %n{nicht} und RealNumberUANTITY ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Unlikely
(=> (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 13546-13557	Wenn defaultMaximumMeasure Object and RealNumber UnitOfMeasure(s) und Class ist eine teilkategorie von NonCompositeUnitOfMeasure und UnitOfMeasure ist ein fall von Class %n{nicht}, dann die Aussage es gibt entity, RealNumberUANTITY, and und entity um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY entity(s) %n{nicht} und entity ist ein fall von Class %n{nicht} und RealNumberUANTITY entity(s) ist groesserAls RealNumber ** UnitOfMeasure(s) %n{nicht} hat die modale Kraft von Unlikely
(=> (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 13485-13496	Wenn defaultMaximumSphereRadius Object and RealNumber UnitOfMeasure(s) und Object ist ein fall von Object %n{nicht} und Sphere ist ein attribut von Object %n{nicht}, dann die Aussage es gibt RealNumberADIUS um sphereRadius Object and RealNumberADIUS UnitOfMeasure(s) und RealNumberADIUS ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Unlikely
(=> (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 13565-13574	Wenn defaultMeasure Object and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht}, dann die Aussage es gibt entity und RealNumberUANTITY um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY UnitOfMeasure(s) %n{nicht} und RealNumberUANTITY ist groesserAls RealNumber und 1.5 %n{nicht} hat die modale Kraft von Unlikely
(=> (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 13576-13585	Wenn defaultMeasure Object and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht}, dann die Aussage es gibt entity und RealNumberUANTITY um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY UnitOfMeasure(s) %n{nicht} und RealNumberUANTITY ist kleinerAls RealNumber und .5 %n{nicht} hat die modale Kraft von Unlikely
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 18451-18456	Wenn defaultMinValue Predicate, PositiveInteger and Quantity und Predicate @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann die Aussage Entity ist groesserAls Quantity %n{nicht} hat die modale Kraft von Likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(modalAttribute AmericansWithDisabilitiesAct-US Law)	Medicine.kif 3170-3170	Die Aussage AmericansWithDisabilitiesAct-US hat die modale Kraft von Law
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law)	Government.kif 2407-2407	Die Aussage AntiterrorismAndEffectiveDeathPenaltyAct hat die modale Kraft von Law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law)	Government.kif 2405-2405	Die Aussage ImmigrationAndNationalityAct-Section219-US hat die modale Kraft von Law
(modalAttribute ImmigrationAndNationalityAct-US Law)	Government.kif 2402-2402	Die Aussage ImmigrationAndNationalityAct-US hat die modale Kraft von 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: