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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - during
during

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


(documentation during ChineseLanguage "(during ?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。") chinese_format.kif 2720-2721
(documentation during EnglishLanguage "(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.") Merge.kif 8312-8313
(documentation during JapaneseLanguage "(during ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。") japanese_format.kif 1444-1445
(domain during 1 TimeInterval) Merge.kif 8309-8309 在这时间内 的 1 数量 是 时距instance
(domain during 2 TimeInterval) Merge.kif 8310-8310 在这时间内 的 2 数量 是 时距instance
(instance during BinaryPredicate) Merge.kif 8306-8306 在这时间内二元谓语instance
(instance during IrreflexiveRelation) Merge.kif 8307-8307 在这时间内非自反关系instance
(instance during TransitiveRelation) Merge.kif 8305-8305 在这时间内传递关系instance

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


(format ChineseLanguage during "%1 %n{doesn't} 在 %2 时段内发生") chinese_format.kif 433-433
(format EnglishLanguage during "%1 %n{doesn't} take%p{s} place during %2") english_format.kif 439-439
(format FrenchLanguage during "%1 %n{ne} prend %n{pas} place pendant %2") french_format.kif 251-251
(format ItalianLanguage during "%1 %n{non} ha%p{s} luogodurante %2") relations-it.txt 86-86
(format JapaneseLanguage during "%1 は %2 の during に take%p{s} %n{ない}") japanese_format.kif 2045-2045
(format PortugueseLanguage during "%1 %n{nao} %n acontece durante %2") portuguese_format.kif 203-203
(format cz during "%1 %n{doesn't} take%p{s} place during %2") relations-cz.txt 257-257
(format de during "%1 geschieht waehrend %2 %n{nicht}") relations-de.txt 565-565
(format hi during "%1 %2 ke dauraana ghaTita %n{nahiin} hotaa hai") relations-hindi.txt 126-126
(format ro during "%1 %n{nu} take%t{are} loc during%t{pe perioada} %2") relations-ro.kif 272-272
(format sv during "%1 ägde %n{inte} rum under %2") relations-sv.txt 275-275
(format tg during "%1 %n nagaanap habang %2") relations-cb.txt 120-120
(termFormat ChineseLanguage during "在这时间内") chinese_format.kif 434-434
(termFormat ChineseLanguage during "期间") domainEnglishFormat.kif 20694-20694
(termFormat ChineseTraditionalLanguage during "期間") domainEnglishFormat.kif 20693-20693
(termFormat EnglishLanguage during "during") domainEnglishFormat.kif 20692-20692
(termFormat tg during "sa panahon ng") relations-tg.txt 188-188

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


(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))
Medicine.kif 367-385
(=>
    (and
        (dampingRatio ?P ?R)
        (greaterThan ?R 0)
        (instance ?T Tremor)
        (patient ?T ?P)
        (instance ?U UnitOfLength)
        (holdsDuring ?T1
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring ?T2
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U)))
        (during ?T1 ?T)
        (during ?T2 ?T)
        (earlier ?T1 ?T2))
    (greaterThan ?A1 ?A2))
Cars.kif 809-825
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))
Medicine.kif 6470-6482
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUVerbalStatus))
        (instance ?S Speaking)
        (destination ?S ?H)
        (during
            (WhenFn ?S) ?T))
    (exists (?IA)
        (and
            (instance ?IA IntentionalProcess)
            (agent ?IA ?H)
            (during
                (WhenFn ?IA) ?T)
            (causes ?S ?IA))))
Medicine.kif 6447-6459
(=>
    (and
        (holdsDuring ?T
            (attribute ?H ChronicFatigueSyndrome))
        (instance ?R RecreationOrExercise)
        (agent ?R ?H)
        (during
            (WhenFn ?R) ?T))
    (modalAttribute
        (and
            (holdsDuring ?T2
                (attribute ?H PostExertionalMalaise))
            (earlier
                (WhenFn ?R) ?T2)) Likely))
Medicine.kif 1500-1512
(=>
    (and
        (holdsDuring ?T1
            (attribute ?H Dieting))
        (holdsDuring ?T2
            (not
                (attribute ?H Dieting)))
        (instance ?M1 Meal)
        (instance ?E1 Eating)
        (agent ?E1 ?H)
        (resource ?E1 ?M1)
        (during
            (WhenFn ?E1) ?T1)
        (measure ?M1
            (MeasureFn ?C1 Calorie))
        (instance ?M2 Meal)
        (instance ?E2 Eating)
        (agent ?E2 ?H)
        (resource ?E2 ?M2)
        (during
            (WhenFn ?E2) ?T2)
        (measure ?M2
            (MeasureFn ?C2 Calorie)))
    (modalAttribute
        (greaterThan ?C2 ?C1) Likely))
Mid-level-ontology.kif 30662-30683
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))
Media.kif 437-444
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))
Media.kif 446-453
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8922-8929
(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?DAY)
        (earlier
            (WhenFn ?D) ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (earlier
                    (WhenFn ?WU)
                    (WhenFn ?SUHUR))
                (during
                    (WhenFn ?WU) ?DAY)
                (during
                    (WhenFn ?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
(=>
    (and
        (instance ?MB MeasuringBreathing)
        (agent ?MB ?A)
        (instance ?L Lung)
        (part ?L ?P)
        (instance ?T TimeInterval)
        (during ?T
            (WhenFn ?MB))
        (duration ?T MinuteDuration)
        (patient ?MB ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?MB))
        (exists (?BR)
            (knows ?A
                (breathingRate ?L ?T ?BR)))))
Medicine.kif 466-482
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT AutonomousAgent)
        (agent ?PROCESS ?AGENT)
        (agent ?ACCESSING ?AGENT)
        (during ?PROCESS ?ACCESSING)
        (instance ?TIMETOFIRST TimeInterval)
        (not
            (exists (?PROCESS2)
                (and
                    (instance ?PROCESS2 ?PROCESS_CLASS)
                    (agent ?PROCESS2 ?AGENT)
                    (during ?PROCESS2 ?ACCESSING)
                    (before
                        (BeginFn
                            (WhenFn ?PROCESS2))
                        (BeginFn
                            (WhenFn ?PROCESS))))))
        (equal
            (BeginFn
                (WhenFn ?ACCESSING))
            (BeginFn
                (WhenFn ?TIMETOFIRST)))
        (equal
            (BeginFn
                (WhenFn ?PROCESS))
            (EndFn
                (WhenFn ?TIMETOFIRST))))
    (equal
        (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
(=>
    (and
        (instance ?T TimePeriod)
        (duration ?T
            (MeasureFn ?N MinuteDuration))
        (greaterThan ?N 5.0)
        (instance ?H Human)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (during
                        (WhenFn ?B) ?T)
                    (patient ?B ?H)))))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (meetsTemporally ?T
                    (WhenFn ?D)))) Likely))
Medicine.kif 5997-6017
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T1 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T2 ?YEAR))
Media.kif 387-394
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T2 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T1 ?YEAR))
Media.kif 396-403
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?PURCHASES Collection)
        (subCollection ?PURCHASES ?VISITS)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?VISITS)
                (instance ?MEMBER AccessingWebPage)))
        (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?BUYING Buying)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?PAGE WebPage)
                    (member ?ACCESSING ?VISITS)
                    (destination ?ACCESSING ?PAGE)
                    (agent ?BUYING ?VISITOR)
                    (agent ?ACCESSING ?VISITOR)
                    (during
                        (WhenFn ?BUYING)
                        (WhenFn ?ACCESSING))
                    (instrument ?BUYING ?PAGE))
                (member ?BUYING ?PURCHASES))))
    (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
        (equal
            (SCRFn ?VISITS ?INTERVAL)
            (DivisionFn
                (CardinalityFn
                    (KappaFn ?PURCHASE_IN_INTERVAL
                        (and
                            (member ?PURCHASE_IN_INTERVAL ?PURCHASES)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
                (CardinalityFn
                    (KappaFn ?VISIT_IN_INTERVAL
                        (and
                            (member ?VISIT_IN_INTERVAL ?VISITS)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 DayDuration)))
Media.kif 538-547
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))
Media.kif 473-482
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))
Media.kif 559-568
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))
Anatomy.kif 1758-1780
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))
Anatomy.kif 1708-1729
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2728-2748
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2750-2771
(=>
    (during ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))))
Merge.kif 8315-8319
(=>
    (during ?SMALL ?BIG)
    (temporalPart ?SMALL ?BIG))
Merge.kif 8258-8260

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 357-390 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133 整数 yearinstance 地缘政治区域那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 403-436 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 310-342 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 30223-30236 Alone 实体attribute 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体equal 那个 实体2 和 那个 实体2 是 施事体instance那个 过程社交instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 实体 是事件 那个 过程involved那个 实体2 是事件 那个 过程involved
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 30271-30279 Mute 施事体attribute 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程说话instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 施事体那个 过程agent
(=>
    (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
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (agent ?BUYING ?MEMBER)
            (eCommerceSite ?BUYING ?SITE)
            (during
                (WhenFn ?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?MEMBER)
            (eCommerceSite ?SELLING ?SITE)
            (during
                (WhenFn ?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
(=>
    (and
        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?PI))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PI)
                (during
                    (WhenFn ?P) ?T)
                (experiencer ?P ?A))) Likely))
emotion.kif 161-172
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))
Medicine.kif 6470-6482
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUVerbalStatus))
        (instance ?S Speaking)
        (destination ?S ?H)
        (during
            (WhenFn ?S) ?T))
    (exists (?IA)
        (and
            (instance ?IA IntentionalProcess)
            (agent ?IA ?H)
            (during
                (WhenFn ?IA) ?T)
            (causes ?S ?IA))))
Medicine.kif 6447-6459
(=>
    (and
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))
Cars.kif 2567-2583
(=>
    (and
        (instance ?A AutonomousAgent)
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P BodyMotion)
                (instance ?P IntentionalProcess)
                (agent ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))
Mid-level-ontology.kif 30242-30253
(=>
    (and
        (instance ?BS1 BodySegment)
        (instance ?BS2 BodySegment)
        (connected ?BS1 ?BS2)
        (instance ?BM BodyMotion)
        (moves ?BM ?BS1))
    (modalAttribute
        (not
            (exists (?BM2)
                (and
                    (instance ?BM2 BodyMotion)
                    (moves ?BM2 ?BS2)
                    (during
                        (WhenFn ?BM2)
                        (WhenFn ?BM))))) Possibility))
Mid-level-ontology.kif 10577-10593
(=>
    (and
        (instance ?C CavalryUnit)
        (instance ?B Battle)
        (agent ?B ?C))
    (exists (?P ?V ?T)
        (and
            (attribute ?P Soldier)
            (member ?P ?C)
            (instance ?T Transportation)
            (agent ?T ?P)
            (instance ?V Vehicle)
            (patient ?T ?V)
            (during ?T ?B))))
Mid-level-ontology.kif 8387-8400
(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))
Merge.kif 8840-8845
(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8940-8945
(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8824-8829
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (maxCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V2 ?V1)))))
Cars.kif 1898-1917
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V1 ?V2)))))
Cars.kif 1868-1887
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (instance ?U UnitOfLength)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E
            (MeasureFn ?LM ?U)))
    (not
        (exists (?T1 ?T2 ?L1 ?L2 ?D)
            (and
                (during ?T1
                    (WhenFn ?EC))
                (during ?T2
                    (WhenFn ?EC))
                (holdsDuring ?T1
                    (located ?P ?L1))
                (holdsDuring ?T2
                    (located ?P ?L2))
                (distance ?L1 ?L2
                    (MeasureFn ?D ?U))
                (greaterThan ?D ?LM)))))
Cars.kif 1943-1965
(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P ?PAIN ?T)
        (and
            (instance ?P Perception)
            (during
                (WhenFn ?P)
                (WhenFn ?PAIN))
            (instance ?PAIN Pain)
            (experiencer ?PAIN ?A)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))
emotion.kif 1583-1597

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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