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

Formal Language: 



KB Term:  Term intersection
English Word: 

  holdsDuring

Sigma KEE - holdsDuring
holdsDuring

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


(documentation holdsDuring ChineseLanguage "(holdsDuring ?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注:这意味着 ?FORMULA 在每一个 TimePoint 都是真的, TimePoint 是 ?TIME 一个的 temporalPart。") chinese_format.kif 2083-2085
(documentation holdsDuring EnglishLanguage "(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.") Merge.kif 3861-3864
(domain holdsDuring 1 TimePosition) Merge.kif 3858-3858 domain holdsDuring, 1 and TimePosition
(domain holdsDuring 2 Formula) Merge.kif 3859-3859 domain holdsDuring, 2 and Formula
(instance holdsDuring AsymmetricRelation) Merge.kif 3857-3857 instance holdsDuring and AsymmetricRelation
(instance holdsDuring BinaryPredicate) Merge.kif 3856-3856 instance holdsDuring and BinaryPredicate

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


(format ChineseLanguage holdsDuring "%2 %n{doesn't} 在 %1 holdsDuring") chinese_format.kif 121-121
(format EnglishLanguage holdsDuring "%2 %n{doesn't} hold%p{s} during %1") english_format.kif 122-122
(relatedInternalConcept time holdsDuring) Merge.kif 3846-3846 relatedInternalConcept time and holdsDuring
(termFormat ChineseLanguage holdsDuring "在这段时间为真") chinese_format.kif 122-122
(termFormat ChineseLanguage holdsDuring "持有期间") domainEnglishFormat.kif 28339-28339
(termFormat ChineseTraditionalLanguage holdsDuring "持有期間") domainEnglishFormat.kif 28338-28338
(termFormat EnglishLanguage holdsDuring "holds during") domainEnglishFormat.kif 28337-28337

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


(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 30094-30104 instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 2680-2690 instance Entity and Region holdsDuring TimePosition and property Entity and StandardAmbientTemperaturePressure holdsDuring TimePosition and airTemperature Entity and MeasureFn 298.15 and KelvinDegree barometricPressure Entity and MeasureFn 29.530 and InchMercury
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17105-17113 holdsDuring TimePosition and instance entity and Human entity employs entity and entity holdsDuring TimePosition and attribute entity and Unemployed
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 30048-30056 holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe entity は % を wears %n{ない}
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30061-30069 holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing entity は % を wears %n{ない}
(<=>
    (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 30139-30152 holdsDuring TimeInterval and attribute Entity and Alone Entity Process equal Entity and Entity instance Entity and AutonomousAgent instance Process and SocialInteraction during WhenFn Process and TimeInterval involvedInEvent Process and Entity involvedInEvent Process and Entity
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 30187-30195 holdsDuring TimeInterval and attribute AutonomousAgent and Mute Process instance Process and Speaking during WhenFn Process and TimeInterval agent Process and AutonomousAgent
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 1578-1584 holdsDuring TimePosition and attribute entity and LegalAgent holdsDuring TimePosition and capability LegalAction, agent and entity capability LegalAction, patient and entity
(=>
    (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 6191-6204
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))
Merge.kif 13700-13713
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1602-1608
(=>
    (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
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2585-2603
(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (familyRelation ?MONARCH ?SUCCESSOR)
        (earlier ?T1 ?T2))
    (modalAttribute
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))
Government.kif 223-234
(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H ChristmasDay))
    (observesHoliday ?A ?H))
Media.kif 406-411
(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H EasterSunday))
    (observesHoliday ?A ?H))
Media.kif 509-514
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7927-7934
(=>
    (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 ?F Menopausal))
        (birthdate ?F ?B)
        (equal ?A1
            (AdditionFn
                (MeasureFn 49 YearDuration) ?B))
        (equal ?A2
            (AdditionFn
                (MeasureFn 52 YearDuration) ?B))
        (equal ?START
            (BeginFn ?T)))
    (modalAttribute
        (and
            (greaterThan ?START ?A1)
            (greaterThan ?A2 ?START)) Likely))
Mid-level-ontology.kif 23882-23899
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))
Merge.kif 18083-18091
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))
Merge.kif 18063-18073
(=>
    (and
        (holdsDuring ?T
            (attribute ?H ?C))
        (instance ?H ChronicDisease)
        (duration ?T ?D))
    (greaterThan ?D
        (MeasureFn 3 MonthDuration)))
Mid-level-ontology.kif 5879-5886
(=>
    (and
        (holdsDuring ?T
            (attribute ?X Booting))
        (holdsDuring ?T2
            (attribute ?X HostReady))
        (equal ?T2
            (ImmediateFutureFn
                (WhenFn ?T)))
        (instance ?DIS ComputerDisplay)
        (connectedEngineeringComponents ?DIS ?X))
    (modalAttribute
        (exists (?HS)
            (and
                (instance ?HS HomeScreen)
                (displayedUpon ?HS ?DIS))) Likely))
ComputingBrands.kif 3229-3243
(=>
    (and
        (holdsDuring ?T
            (desires ?M
                (attribute ?V Dead)))
        (instance ?MURDER Murder)
        (agent ?MURDER ?M)
        (patient ?MURDER ?V)
        (earlier ?T
            (WhenFn ?MURDER)))
    (attribute ?MURDER Premeditated))
Law.kif 523-532
(=>
    (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 30094-30104 instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 12325-12332 instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 2680-2690 instance Entity and Region holdsDuring TimePosition and property Entity and StandardAmbientTemperaturePressure holdsDuring TimePosition and airTemperature Entity and MeasureFn 298.15 and KelvinDegree barometricPressure Entity and MeasureFn 29.530 and InchMercury
(<=>
    (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 383-416 instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (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 429-462 instance Year and YearFn Integer equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (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 336-368 instance Year and YearFn Integer equal LifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 182-213 instance Year and YearFn Integer equal MigrantsPerThousandFn GeopoliticalArea and Year and RealNumber equal SubtractionFn Integer and Integer and 1 instance Entity and YearFn Integer holdsDuring Year and equal PopulationFn GeopoliticalArea and RealNumber equal DivisionFn RealNumber and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring Entity and inhabits SymbolicString and GeopoliticalArea holdsDuring Year and inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring Entity and inhabits SymbolicString and GeopoliticalArea holdsDuring Year and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and RealNumber equal DivisionFn RealNumber and RealNumber and RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 78-90 instance Year and YearFn Integer equal PopulationGrowthFn GeopoliticalArea and Year and RealNumber equal SubtractionFn Integer and IntegerP and 1 instance TimePosition and YearFn IntegerP holdsDuring Year and equal PopulationFn GeopoliticalArea and RealNumber holdsDuring TimePosition and equal PopulationFn GeopoliticalArea and RealNumber equal DivisionFn RealNumber and RealNumber and RealNumber equal SubtractionFn RealNumber and 1 and RealNumber
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1528-1533 annualExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualExpendituresOfArea GeopoliticalArea and CurrencyMeasure
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1499-1504 annualRevenuesOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualRevenuesOfArea GeopoliticalArea and CurrencyMeasure
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))
Economy.kif 1576-1581 capitalExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and capitalExpendituresOfArea GeopoliticalArea and CurrencyMeasure
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3672-3677 currencyExchangePerUSDollar CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitedStatesDollar and CurrencyMeasure
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3679-3684 currencyExchangeRateInPeriod UnitOfCurrency, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitOfCurrency and CurrencyMeasure
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2830-2835 economicAidDonatedInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and economicAidDonated GeopoliticalArea and CurrencyMeasure
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2870-2875 economicAidReceivedNetInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and economicAidReceivedNet GeopoliticalArea and CurrencyMeasure
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2067-2072 electricityFractionFromSourceInPeriod GeopoliticalArea, PowerGeneration, RealNumber and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and electricityFractionFromSource GeopoliticalArea, PowerGeneration and RealNumber
(<=>
    (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2560-2565 exportPartnerByFractionInPeriod GeopoliticalArea, GeopoliticalArea, PositiveRealNumber and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and exportPartnerByFraction GeopoliticalArea, GeopoliticalArea and PositiveRealNumber
(<=>
    (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2522-2527 exportPartnerByRankInPeriod GeopoliticalArea, GeopoliticalArea, PositiveInteger and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and exportPartnerByRank GeopoliticalArea, GeopoliticalArea and PositiveInteger
(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2398-2403 exportPartnerInPeriod AutonomousAgent, AutonomousAgent and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and exportPartner AutonomousAgent and AutonomousAgent
(<=>
    (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (externalDebt ?COUNTRY ?AMOUNT)))))
Economy.kif 2786-2791 externalDebtInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and externalDebt GeopoliticalArea and CurrencyMeasure
(<=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))
Economy.kif 1274-1279 highestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and highestDecileShareOfHouseholdIncome GeopoliticalArea and RealNumber
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17105-17113 holdsDuring TimePosition and instance entity and Human entity employs entity and entity holdsDuring TimePosition and attribute entity and Unemployed
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 30048-30056 holdsDuring TimePosition and attribute entity and Barefoot holdsDuring TimePosition and entity instance entity and Shoe entity は % を wears %n{ない}
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30061-30069 holdsDuring TimePosition and attribute entity and Naked holdsDuring TimePosition and entity instance entity and Clothing entity は % を wears %n{ない}
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 1578-1584 holdsDuring TimePosition and attribute entity and LegalAgent holdsDuring TimePosition and capability LegalAction, agent and entity capability LegalAction, patient and entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))
People.kif 482-495 instance Year and YearFn Integer equal ChildrenBornPerWomanFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring Year and inhabits entity and GeopoliticalArea
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 933-946 equal ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity equal entity and SubtractionFn entity and 1 holdsDuring Year and age SymbolicString and entity age SymbolicString and entity equal entity and entity inhabits SymbolicString and GeopoliticalArea
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))
ComputingBrands.kif 2453-2457 TimePosition instance TimePosition and YearFn 1976 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and スティーブ・ウオズニアック氏
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))
ComputingBrands.kif 2441-2445 TimePosition instance TimePosition and YearFn 2002 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and ティム・クック氏
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))
Media.kif 1970-1978 TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity

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


(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2501-2504 holdsDuring FutureFn TimePosition and instance Serbia and EuropeanNation instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2496-2499 holdsDuring FutureFn TimePosition and instance Serbia and IndependentState instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2506-2509 holdsDuring FutureFn TimePosition and names "Republic of Serbia" and Serbia instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))
Media.kif 2528-2531 holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance Montenegro and EuropeanNation
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))
Media.kif 2523-2526 holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance Montenegro and IndependentState
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))
Media.kif 2533-2536 holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 names "Montenegro" and Montenegro
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))
Media.kif 2546-2550 holdsDuring FutureFn TimePosition and instance TimePosition and DayFn 3 and MonthFn June and YearFn 2006 instance SerbiaAndMontenegro and IndependentState
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2791-2794 holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and DayFn 1 and MonthFn October and YearFn 1992 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769 holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and YearFn 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))
Media.kif 1920-1920 holdsDuring WhenFn JesusOfNazareth and located JesusOfNazareth and Palestine


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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