Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (exists (?PERSON)
                (and
                    (instance ?PERSON Human)
                    (wears ?PERSON ?PE)))
            (exists (?PROTECT ?EYE ?INJ ?I ?T)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?HUMAN)
                                (and
                                    (instance ?I Injuring)
                                    (instance ?EYE Eye)
                                    (instance ?HUMAN Human)
                                    (properPart ?EYE ?HUMAN)
                                    (patient ?I ?EYE)
                                    (=>
                                        (holdsDuring ?T
                                            (patient ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROTECT ?PERSON))))))))
                    (prevents ?PROTECT ?INJ))))))
Cars.kif 3482-3509
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))
Economy.kif 1980-1989
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
(=>
    (and
        (or
            (instance ?ROLE OccupationalTrade)
            (instance ?ROLE Profession))
        (holdsDuring ?T1
            (attribute ?HUMAN ?ROLE)))
    (exists (?FIELD)
        (and
            (subclass ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (hasExpertise ?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1906-1910
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
(=>
    (and
        (instance ?HP HearingProtection)
        (instance ?PERSON Human)
        (wears ?PERSON ?HP))
    (hasPurpose ?HP
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?SOUND ?HEAR ?HUMAN ?T)
                                (and
                                    (instance ?SOUND RadiatingSound)
                                    (instance ?HEAR Hearing)
                                    (instance ?HUMAN Human)
                                    (patient ?HEAR ?SOUND)
                                    (experiencer ?HEAR ?HUMAN)
                                    (causes ?HEAR ?I)
                                    (experiencer ?I ?HUMAN)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)
                (instrument ?PROC ?HP)))))
Cars.kif 3447-3476
(=>
    (and
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validityPeriod ?PS ?TIMEINT))
    (holdsDuring ?TIMEINT
        (modalAttribute
            (=>
                (and
                    (instance ?S Selling)
                    (agent ?S ?AGENT)
                    (patient ?S ?ITEM))
                (transactionAmount ?S ?PRICE)) Likely)))
Catalog.kif 372-387
(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (subclass ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?SHEET ?BERG)))))
Geography.kif 4732-4740
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1888-1892
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1900-1904
(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))
Economy.kif 2202-2211
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Newspaper))
    (holdsDuring ?T1
        (attribute ?AGENT NewspaperPublishers)))
Media.kif 1912-1916
(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))
Cars.kif 3389-3417
(=>
    (and
        (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualImportTotal ?AREA ?AMOUNT)))))
Economy.kif 2583-2592
(=>
    (and
        (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualExportTotal ?AREA ?AMOUNT)))))
Economy.kif 2277-2286
(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))
Economy.kif 2112-2121
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))
Media.kif 1894-1898
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))
Economy.kif 2156-2165


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