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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3840-3845
(=>
    (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
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))
Economy.kif 4945-4950
(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))
Mid-level-ontology.kif 129-137
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1053-1058
(=>
    (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
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15400-15407
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 13516-13527
(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))
Economy.kif 4715-4721
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 16905-16909
(=>
    (and
        (organizationProductType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationProductType ?BUSINESS ?GENUS))
Economy.kif 1627-1631
(=>
    (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
(=>
    (instance ?CO CounterTerrorism)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS Terrorism)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))
Economy.kif 3904-3909
(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))
Geography.kif 1263-1267
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))
Catalog.kif 98-107
(=>
    (attribute ?H ObsessiveCompulsiveDisorder)
    (exists (?COL ?C)
        (and
            (memberType ?COL ?C)
            (or
                (subclass ?C Investigating)
                (subclass ?C Cleaning))
            (=>
                (instance ?CI ?C)
                (and
                    (agent ?CI ?H)
                    (not
                        (wants ?H ?CI)))))))
Medicine.kif 4025-4038
(=>
    (and
        (subclass ?OS AndroidOS)
        (instance ?INST ?OS))
    (creator AlphabetCorporation ?INST))
ComputingBrands.kif 30-34
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))
Economy.kif 5258-5265
(=>
    (instance ?C ElectricalConductor)
    (exists (?S)
        (and
            (subclass ?S ConductorSubstance)
            (material ?S ?C))))
engineering.kif 826-831
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))
Hotel.kif 364-378
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 324-330
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BirchWood)
        (subclass ?S PlantStem))
    (initialPart ?S BirchTree))
Economy.kif 5316-5321
(=>
    (and
        (applicableRelation ?O ?R)
        (instance ?O ?OC)
        (domain ?R 1 ?DC))
    (or
        (equal ?OC ?DC)
        (subclass ?OC ?DC)))
Mid-level-ontology.kif 31387-31394
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))
Economy.kif 5431-5436
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3934-3939
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))
Economy.kif 5326-5333
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 244-250
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W RedOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S RedOakTree))
Economy.kif 5368-5373
(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))
ComputingBrands.kif 93-97
(=>
    (subclass ?C
        (CoveringFn ?B))
    (hasPurpose ?C
        (exists (?P ?BI ?CI)
            (and
                (instance ?P Covering)
                (instance ?BI ?B)
                (instance ?CI ?C)
                (destination ?P ?BI)
                (patient ?P ?CI)))))
Mid-level-ontology.kif 29730-29739
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Sheepskin)
        (subclass ?O Skin))
    (initialPart ?O Sheep))
Economy.kif 5051-5056
(=>
    (and
        (subclass ?TYPE Process)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (?ROLE ?EVENT ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))
Transportation.kif 2019-2024
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCE1 ?SUBSTANCE2)
        (and
            (subclass ?SUBSTANCE1 Substance)
            (subclass ?SUBSTANCE2 Substance)
            (material ?SUBSTANCE1 ?OBJ)
            (material ?SUBSTANCE2 ?OBJ)
            (not
                (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))
Transportation.kif 2617-2622
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 983-987
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W OkoumeWood)
        (subclass ?S PlantStem))
    (initialPart ?S OkoumeTree))
Economy.kif 5348-5353
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)
        (and
            (subclass ?SKILL Process)
            (instance ?MEMBER1 Human)
            (instance ?MEMBER2 Human)
            (member ?MEMBER1 ?TEAM)
            (member ?MEMBER2 ?TEAM)
            (hasSkill ?SKILL ?MEMBER1)
            (not
                (hasSkill ?SKILL ?MEMBER2))
            (instance ?INST ?SKILL)
            (inScopeOfInterest ?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
(=>
    (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
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsInformation ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WhiteOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S WhiteOakTree))
Economy.kif 5398-5403
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
(=>
    (and
        (subclass ?CLASS Flower)
        (equal ?CLASS Cauliflower))
    (initialPart ?CLASS CabbagePlant))
Economy.kif 4265-4269
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))
Merge.kif 16379-16384
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))
Government.kif 2331-2338
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6201-6209
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7528-7533
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))
Economy.kif 5338-5343
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))
Merge.kif 15431-15440
(=>
    (subclass ?VIRUS TickBorneEncephalitisVirus)
    (exists (?DISEASE)
        (and
            (instance ?DISEASE TickBorneEncephalitis)
            (biochemicalAgentSyndrome ?VIRUS ?DISEASE))))
WMD.kif 2029-2034
(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU)
        (catalogItem ?CLASS ?MENU)
        (subclass ?CLASS PreparedFood)
        (instance ?X ?VLASS)
        (instance ?Y ?CLASS)
        (not
            (equal ?X ?Y))
        (price ?X ?PRICE1 ?AGENT1)
        (price ?Y ?PRICE2 ?AGENT2))
    (equal ?PRICE1 ?PRICE2))
Dining.kif 189-201
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 3377-3383
(=>
    (and
        (instance ?NUCLEUS ?CLASS)
        (subclass ?CLASS CellNucleus)
        (initialPart ?CLASS EukaryoticCell))
    (exists (?CHROMOTIN)
        (and
            (instance ?CHROMOTIN Chromotin)
            (part ?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
(=>
    (and
        (sheddingLeaves ?T ?L)
        (instance ?T DeciduousTree)
        (instance ?L PlantLeaf))
    (exists (?SHED ?S)
        (and
            (subclass ?SHED Removing)
            (frequency ?SHED YearDuration)
            (instance ?S ?SHED)
            (origin ?S ?T)
            (patient ?S ?L))))
Geography.kif 6393-6404
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (exists (?R ?O)
        (and
            (instance ?R
                (DeadFn ?ORG))
            (part ?R ?O)
            (instance ?O ?ORG))))
Economy.kif 5267-5276
(=>
    (instance ?CO CounterOperation)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS MilitaryOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
(=>
    (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
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))
Economy.kif 1667-1671
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 351-357
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9671-9676
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))
Economy.kif 4214-4218
(=>
    (and
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (forall (?R)
        (=>
            (instance ?R ?ROOM)
            (exists (?O)
                (and
                    (instance ?R ?ROOM)
                    (instance ?O ?OBJ)
                    (located ?O ?R))))))
Hotel.kif 281-292
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
(=>
    (and
        (instance ?B Buying)
        (patient ?B ?ITEM)
        (origin ?B ?AGENT)
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validPaymentType ?PS ?PAY))
    (modalAttribute
        (exists (?PAYMENT)
            (and
                (instance ?PAYMENT ?PAY)
                (subProcess ?PAYMENT ?B))) Likely))
Catalog.kif 337-352
(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (subclass ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?SHEET ?BERG)))))
Geography.kif 4732-4740
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))
Government.kif 2324-2329
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1692-1698
(=>
    (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
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))
Economy.kif 4223-4227
(=>
    (and
        (instance ?X Respirator)
        (instance ?PERSON Animal)
        (wears ?PERSON ?X))
    (hasPurpose ?X
        (exists (?INHAL ?INJ ?PROTECT ?I)
            (and
                (instance ?PROTECT Process)
                (instrument ?PROTECT ?X)
                (prevents ?PROTECT ?INJ)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?H)
                                (and
                                    (instance ?H Human)
                                    (patient ?I ?H)
                                    (instance ?INHAL Inhaling)
                                    (agent ?INHAL ?H)
                                    (causes ?I ?INHAL))))))))))
Cars.kif 3531-3552
(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))
WMD.kif 976-980
(=>
    (and
        (biochemicalAgentDelivery ?AGENT ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (biochemicalAgentDelivery ?AGENT ?SUB))
WMD.kif 789-793
(=>
    (and
        (subclass ?TEXT Periodical)
        (equal
            (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
        (equal
            (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?VOLUME1)
        (instance ?CBO2 ?VOLUME2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))
Mid-level-ontology.kif 14624-14638
(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))
Geography.kif 998-1003
(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1186-1201
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1633-1639
(=>
    (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
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validFor ?PS ?CUSTCLASS)
        (instance ?CUSTOMER ?CUSTCLASS))
    (modalAttribute
        (=>
            (and
                (instance ?B Buying)
                (agent ?B ?CUSTOMER)
                (origin ?B ?AGENT)
                (patient ?B ?ITEM))
            (transactionAmount ?B ?PRICE)) Likely))
Catalog.kif 354-370
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 137-141
(=>
    (and
        (instance ?REL SheddingPart)
        (?REL ?O ?P)
        (instance ?O ?ORG)
        (subclass ?ORG Organism))
    (exists (?PART)
        (and
            (instance ?P
                (DeadFn ?PART))
            (initialPart ?PART ?ORG))))
Geography.kif 6425-6434
(=>
    (and
        (subclass ?OS WindowsOS)
        (instance ?INST ?OS))
    (creator MicrosoftCorporation ?INST))
ComputingBrands.kif 62-66
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))
Economy.kif 4532-4543
(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))
Dining.kif 208-212
(=>
    (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
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))
Dining.kif 1044-1059
(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))
Cars.kif 1688-1693
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))
Economy.kif 5032-5036
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capability ?CLASS agent ?AGENT))
Catalog.kif 88-93
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))
Merge.kif 13798-13807
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2287-2292
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))
Merge.kif 200-205
(=>
    (immediateInstance ?ENTITY ?CLASS)
    (not
        (exists (?SUBCLASS)
            (and
                (subclass ?SUBCLASS ?CLASS)
                (not
                    (equal ?SUBCLASS ?CLASS))
                (instance ?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914
(=>
    (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))
WMD.kif 1322-1326
(=>
    (attribute ?H Pulmonologist)
    (exists (?P1 ?P2 ?PAT ?L)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (patient ?P1 ?PAT)
            (patient ?P2 ?PAT)
            (instance ?L Lung)
            (part ?L ?PAT)
            (located ?P1 Lung)
            (located ?P2 Lung))))
Medicine.kif 4481-4492
(=>
    (and
        (subclass ?PAPER Newspaper)
        (instance ?WEEK Week))
    (exists (?PUBLICATION ?ISSUE)
        (and
            (instance ?PUBLICATION Publication)
            (temporalPart
                (WhenFn ?PUBLICATION) ?WEEK)
            (result ?PUBLICATION ?ISSUE)
            (instance ?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))
Economy.kif 4277-4281
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS Cabbage))
    (initialPart ?CLASS CabbagePlant))
Economy.kif 4239-4243
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6191-6199
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))
Economy.kif 5451-5456
(=>
    (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
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WalnutWood)
        (subclass ?S PlantStem))
    (initialPart ?S WalnutTree))
Economy.kif 5388-5393
(=>
    (and
        (instance ?R RecreationOrExercise)
        (instrument ?R ?RM)
        (instance ?RM RowingMachine)
        (experiencer ?R ?H)
        (instance ?ROW Rowing)
        (subProcess ?RMOT ?R)
        (subclass ?C BodyMotion)
        (instance ?RMOT ?C))
    (exists (?ROWMOT)
        (and
            (instance ?ROWMOT ?C)
            (subProcess ?ROWMOT ?R)
            (agent ?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BeechWood)
        (subclass ?S PlantStem))
    (initialPart ?S BeechTree))
Economy.kif 5306-5311
(=>
    (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
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5284-5291
(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 18896-18901
(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 3993-3998
(=>
    (and
        (subclass ?CLASS PlantStem)
        (equal ?CLASS Alfalfa))
    (initialPart ?CLASS AlfalfaPlant))
Economy.kif 4825-4829
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 ?CLASS1)
        (subclass ?CLASS1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?CLASS1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2 ?CLASS2)
        (and
            (instance ?EXPERIMENT2 ?CLASS2)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (subclass ?CLASS2 Experimenting)
            (capability ?CLASS2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
(=>
    (and
        (instance ?V ViolentContest)
        (patient ?V ?H)
        (attribute ?H
            (InjuryCausedFn ?PC))
        (attribute ?H
            (ImpairedBodyPartFn Airway)))
    (modalAttribute
        (or
            (subclass ?PC Combustion)
            (exists (?FI)
                (and
                    (instance ?I Injuring)
                    (located ?I ?F)
                    (instance ?F Face)
                    (patient ?I ?H)))) Likely))
Medicine.kif 698-715
(=>
    (attribute ?H ArtCritic)
    (hasPurpose ?H
        (exists (?AW ?T ?CLASS)
            (and
                (instance ?AW ArtWork)
                (overlapsTemporally
                    (WhenFn ?AW)
                    (WhenFn ?H))
                (instance ?T ?CLASS)
                (subclass ?CLASS Article)
                (authors ?H ?CLASS)
                (refers ?T ?AW)))))
Mid-level-ontology.kif 21089-21101
(=>
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 21036-21043
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Periodical))
    (holdsDuring ?T1
        (attribute ?AGENT PeriodicalPublishers)))
Media.kif 1906-1910
(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))
Economy.kif 4365-4372
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))
Geography.kif 989-996
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 3963-3968
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2610-2615
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))
Merge.kif 13820-13829
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))
Government.kif 619-625
(=>
    (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
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseMedicine ?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
(=>
    (and
        (attribute ?X Writer)
        (instance ?TEXT ?CLASS)
        (or
            (subclass ?CLASS Text)
            (subclass ?CLASS Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?CLASS))
Biography.kif 730-740
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))
Economy.kif 5461-5466
(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))
Merge.kif 1780-1788
(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))
Dining.kif 219-223
(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))
Medicine.kif 3984-4004
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 339-343
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))
Merge.kif 15166-15187
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3948-3953
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BalsaWood)
        (subclass ?S PlantStem))
    (initialPart ?S BalsaTree))
Economy.kif 5296-5301
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Process))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA)
            (overlapsTemporally
                (WhenFn ?ITEM)
                (WhenFn ?AREA)))))
Geography.kif 2280-2290
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (located ?P ?R)
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (exists (?PRICE ?U)
        (and
            (price ?O
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 396-417
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))
Media.kif 195-200
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 221-227
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CedarWood)
        (subclass ?S PlantStem))
    (initialPart ?S CedarTree))
Economy.kif 5421-5426
(=>
    (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
(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))
Mid-level-ontology.kif 16981-16986
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4166-4172
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W LarchWood)
        (subclass ?S PlantStem))
    (initialPart ?S LarchTree))
Economy.kif 5441-5446
(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))
Economy.kif 3738-3742
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6931-6936
(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))
Food.kif 2876-2882
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4629-4634
(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14606-14613
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1040-1047
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?MELT)
        (lessThan ?TEMP ?BOIL))
    (attribute ?X Liquid))
Merge.kif 13809-13818
(=>
    (and
        (instance ?MENU WineMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X WineMenu))
Dining.kif 229-233
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))
Economy.kif 5378-5383
(=>
    (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
(=>
    (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
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))
Economy.kif 5409-5416
(=>
    (and
        (instance ?MENU Menu)
        (catalogItem ?X ?MENU))
    (subclass ?X
        (FoodForFn Human)))
Dining.kif 178-182
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))
Economy.kif 5358-5363
(=>
    (and
        (weaponCarryingCapability ?MV ?WC ?COUNT)
        (instance ?WEAPON ?WC)
        (capability ?PC ?ROLE ?WEAPON)
        (or
            (subclass ?PC Shooting)
            (subclass ?PC Damaging)))
    (capability ?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))
Hotel.kif 811-832
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3392-3396
(=>
    (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 ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
(=>
    (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
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))
Economy.kif 5235-5244
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (exists (?PRICE ?U)
        (and
            (price ?P
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 419-438
(=>
    (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
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Object))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))
Geography.kif 2271-2278
(=>
    (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
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1888-1892
(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
(=>
    (and
        (instance ?SEAT AuditoriumSeat)
        (part ?SEAT ?AUDITORIUM)
        (part ?STAGE ?AUDITORIUM)
        (instance ?AUDITORIUM Auditorium)
        (instance ?STAGE PerformanceStage)
        (located ?PERSON ?SEAT)
        (instance ?PERSON Human)
        (subclass ?SEE Seeing)
        (forall (?INST)
            (=>
                (instance ?INST ?SEE)
                (patient ?INST ?STAGE))))
    (capability ?SEE agent ?PERSON))
Mid-level-ontology.kif 7351-7365
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))
Media.kif 1900-1904
(=>
    (instance ?CO CounterReconnaissance)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS ReconnaissanceOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))
MilitaryProcesses.kif 2193-2203
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?O))
        (subclass ?S Lambskin)
        (subclass ?O Skin))
    (initialPart ?O Lamb))
Economy.kif 5041-5046
(=>
    (instance ?INDUSTRY Industry)
    (exists (?MEMB1 ?MEMB2 ?CLASS)
        (and
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY)
            (subclass ?CLASS Corporation)
            (immediateInstance ?MEMB1 ?CLASS)
            (immediateInstance ?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15016-15024
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 1909-1915
(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))
Economy.kif 3872-3877
(=>
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))
Food.kif 299-306
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 13547-13558
(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 855-860
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))
Catalog.kif 139-150
(=>
    (and
        (roomAmenity ?ROOM ?SVC)
        (subclass ?SVC Process))
    (modalAttribute
        (exists (?X ?S ?HOTEL ?PROC)
            (and
                (instance ?X ?ROOM)
                (element ?X
                    (PropertyFn ?HOTEL))
                (agent ?S ?HOTEL)
                (or
                    (instance ?S ?SVC)
                    (and
                        (instance ?PROC ?SVC)
                        (subProcess ?S ?PROC)))
                (located ?S ?X))) Possibility))
Hotel.kif 317-332
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 18084-18092
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))
Hotel.kif 1478-1491
(=>
    (attribute ?H NewsReporter)
    (hasPurpose ?H
        (exists (?EV ?T ?NEWS)
            (and
                (instance ?EV Process)
                (overlapsTemporally
                    (WhenFn ?EV)
                    (WhenFn ?H))
                (instance ?T ?NEWS)
                (or
                    (subclass ?NEWS Newspaper)
                    (subclass ?NEWS NewsProgram))
                (authors ?H ?NEWS)
                (refers ?T ?EV)))))
Mid-level-ontology.kif 21066-21080
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-76
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?OBJ ?CATALOG)
        (subclass ?OBJ Physical))
    (modalAttribute
        (exists (?S ?X)
            (and
                (instance ?X ?OBJ)
                (instance ?S Selling)
                (agent ?S ?AGENT)
                (patient ?S ?X))) Possibility))
Catalog.kif 51-62
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))
Hotel.kif 346-361
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1683-1688
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC ?PROC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHYS)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))
Hotel.kif 522-538
(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))
Cars.kif 1772-1786
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?CLASS agent ?AGENT ?TIME))
Catalog.kif 130-137
(=>
    (immediateSubclass ?CLASS1 ?CLASS2)
    (not
        (exists (?CLASS3)
            (and
                (subclass ?CLASS3 ?CLASS2)
                (subclass ?CLASS1 ?CLASS3)
                (not
                    (equal ?CLASS2 ?CLASS3))
                (not
                    (equal ?CLASS1 ?CLASS3))))))
Merge.kif 160-167
(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))
Economy.kif 4839-4843
(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 1928-1937
(=>
    (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
(=>
    (subclass ?I Immunosuppressive)
    (hasPurpose ?I
        (and
            (instance ?AID AutoImmuneDisorder)
            (diseaseMedicine ?AID ?I ?P))))
Medicine.kif 4614-4619
(=>
    (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
(=>
    (and
        (subclass ?X ?Y)
        (instance ?Z ?X))
    (instance ?Z ?Y))
Merge.kif 143-147
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))
Merge.kif 12014-12026
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (instance ?EVENT ?CLASS)
        (subclass ?CLASS Process)
        (time ?EVENT ?TIME)
        (eventLocated ?EVENT ?PLACE))
    (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))
Economy.kif 4693-4699
(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))
Economy.kif 5485-5493
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 9561-9574
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 895-906 FitForMilitaryServiceMaleFn 地政学的地域 エンティティー classinstances の数 と equal では %n
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))
Cars.kif 5109-5112 オブジェクト オブジェクトHandToolBoxsubclass では %n manufacturer オブジェクト and SortimoCorp


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