holdsDuring

-------------------------


(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7271-7278
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1902-1906
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1890-1894
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Newspaper))
    (holdsDuring ?T1
        (attribute ?AGENT NewspaperPublishers)))
Media.kif 1914-1918
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1908-1912
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))
Media.kif 1896-1900
(=>
    (and
        (holdsDuring ?T1
            (spouse ?P1 ?P2))
        (instance ?T1 TimeInterval))
    (exists (?WED)
        (and
            (instance ?WED Wedding)
            (patient ?WED ?P1)
            (patient ?WED ?P2)
            (earlier
                (WhenFn ?WED) ?T1))))
Mid-level-ontology.kif 7657-7667
(=>
    (and
        (holdsDuring ?T2 ?SIT2)
        (holdsDuring ?T1 ?SIT1)
        (instance ?T1 TimeInterval)
        (instance ?T2 TimeInterval)
        (causesProposition ?SIT1 ?SIT2))
    (beforeOrEqual
        (BeginFn ?T1)
        (BeginFn ?T2)))
Merge.kif 5782-5789
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))
Merge.kif 23001-23007
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Larval))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (meetsTemporally ?BW ?TIME))
Merge.kif 22970-22976
(=>
    (and
        (holdsDuring ?TIME
            (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
        (holdsDuring ?TIME
            (annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1562-1566
(=>
    (and
        (holdsDuring ?TIME ?SITUATION1)
        (entails ?SITUATION1 ?SITUATION2))
    (holdsDuring ?TIME ?SITUATION2))
Merge.kif 5861-5865
(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 18744-18751
(=>
    (and
        (holdsDuring ?TIME1 ?SITUATION)
        (temporalPart ?TIME2 ?TIME1))
    (holdsDuring ?TIME2 ?SITUATION))
Merge.kif 11473-11477
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3420-3425
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2127-2134
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2171-2178
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2217-2224
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 1995-2002
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2292-2299
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2597-2604
(=>
    (and
        (instance ?A Agent)
        (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 28391-28402
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (holdsDuring
            (BeginFn ?ACT)
            (hasGUEState ?WINDOW ?STATE))
        (contraryAttribute ?STATE GUE_UncoveredState))
    (holdsDuring
        (EndFn ?ACT)
        (not
            (hasGUEState ?WINDOW ?STATE))))
ComputerInput.kif 1867-1878
(=>
    (and
        (instance ?AGENT Human)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT)
                (located ?DEVICE ?PLACE)
                (instance ?PLACE Residence))))
    (holdsDuring ?TIME
        (inhabits ?AGENT ?PLACE)))
Mid-level-ontology.kif 22967-22976
(=>
    (and
        (instance ?AR ArmedReconnaissance)
        (agent ?AR ?AGENT)
        (patient ?AR ?HOSTILE)
        (holdsDuring
            (WhenFn ?AR)
            (enemy ?AGENT ?HOSTILE)))
    (confersRight
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (agent ?ATTACK ?AGENT)
                (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners