(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W SapeleWood)
(subclass ?S PlantStem))
(initialPart ?S SapeleTree)) |
Economy.kif 5378-5383 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W SpruceWood)
(subclass ?S PlantStem))
(initialPart ?S SpruceTree)) |
Economy.kif 5451-5456 |
|
(=>
(equal ?P
(PlantFn WineGrape))
(subclass ?P GrapeVine)) |
Economy.kif 4732-4735 |
|
(=>
(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 |
|
(=>
(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 |
- If a process is an instance of breaking record and an agent is an agent of the process,
- then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WalnutWood)
(subclass ?S PlantStem))
(initialPart ?S WalnutTree)) |
Economy.kif 5388-5393 |
|
(=>
(equal ?X
(PlantFn SpeltWheatGrain))
(subclass ?X SpeltWheatGrass)) |
Economy.kif 4107-4110 |
|
(=>
(and
(equal ?M
(OrganicObjectFn ?A))
(subclass ?M Meat))
(subclass ?A Animal)) |
Economy.kif 4945-4950 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W BeechWood)
(subclass ?S PlantStem))
(initialPart ?S BeechTree)) |
Economy.kif 5306-5311 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W Softwood)
(subclass ?S PlantStem))
(modalAttribute
(initialPart ?S Conifers) Likely)) |
Economy.kif 5409-5416 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W Hardwood)
(subclass ?S PlantStem))
(modalAttribute
(initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5284-5291 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W PoplarWood)
(subclass ?S PlantStem))
(initialPart ?S PoplarTree)) |
Economy.kif 5358-5363 |
|
(=>
(and
(subclass ?CLASS PlantStem)
(equal ?CLASS Alfalfa))
(initialPart ?CLASS AlfalfaPlant)) |
Economy.kif 4825-4829 |
|
(=>
(equal ?P
(PlantFn Celery))
(subclass ?P HerbaceousPlant)) |
Food.kif 2427-2429 |
|
(=>
(equal ?C
(AgentOfOrganismFn YersiniaPestis))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 401-404 |
|
(=>
(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 |
|
(=>
(equal ?CLASS
(GeographicPartTypeFn ?TYPE ?AREA))
(subclass ?CLASS ?TYPE)) |
Geography.kif 6921-6923 |
|
(=>
(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 |
|
(=>
(equal ?P
(PlantFn Mint))
(subclass ?P HerbaceousPlant)) |
Food.kif 2672-2674 |
|
(=>
(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
(equal ?T
(OrganicObjectFn ?S))
(subclass ?T TeaPlantAerialPart)
(subclass ?S PlantStem))
(initialPart ?S TeaPlant)) |
Economy.kif 4715-4721 |
|
(=>
(and
(subclass ?CLASS PlantLeaf)
(equal ?CLASS LeafyGreenVegetable))
(initialPart ?CLASS Plant)) |
Economy.kif 4214-4218 |
|
(=>
(and
(equal ?DEP
(DepartmentOfPreventingFn ?COMP ?PHYS))
(subclass ?PHYS Process)
(subOrganization ?DEP ?COMP))
(inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 18401-18406 |
|
(=>
(equal ?P
(PlantFn Sesame))
(subclass ?P HerbaceousPlant)) |
Food.kif 3397-3399 |
|
(=>
(equal ?P
(PlantFn Garlic))
(subclass ?P HerbaceousPlant)) |
Food.kif 2584-2586 |
|
(=>
(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 |
|
(=>
(equal ?P
(PlantFn Scallion))
(subclass ?P HerbaceousPlant)) |
Food.kif 3360-3362 |
|
(=>
(equal ?X
(PlantFn CommonWheatGrain))
(subclass ?X CommonWheatGrass)) |
Economy.kif 4066-4069 |
|
(=>
(equal ?X
(PlantFn DurumWheatGrain))
(subclass ?X DurumWheatGrass)) |
Economy.kif 4076-4079 |
|
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(or
(subclass ?ORG Organism)
(subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 |
|
(=>
(and
(equal ?S
(OrganicObjectFn ?O))
(subclass ?S Lambskin)
(subclass ?O Skin))
(initialPart ?O Lamb)) |
Economy.kif 5041-5046 |
|
(=>
(equal ?P
(PlantFn Broccoli))
(subclass ?P CabbagePlant)) |
Food.kif 2396-2398 |
|
(=>
(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 |
|
(=>
(equal ?X
(PlantFn EinkornWheatGrain))
(subclass ?X EinkornWheatGrass)) |
Economy.kif 4096-4099 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W FirWood)
(subclass ?S PlantStem))
(initialPart ?S FirTree)) |
Economy.kif 5431-5436 |
|
(=>
(equal ?P
(PlantFn ButternutSquash))
(subclass ?P HerbaceousPlant)) |
Food.kif 2403-2405 |
|
(=>
(equal ?P
(PlantFn Strawberry))
(subclass ?P HerbaceousPlant)) |
Food.kif 3483-3485 |
|
(=>
(and
(subclass ?CLASS Fruit)
(equal ?CLASS Cucumber))
(initialPart ?CLASS CucumberPlant)) |
Economy.kif 4223-4227 |
|
(=>
(equal ?P
(PlantFn Mustard))
(subclass ?P HerbaceousPlant)) |
Food.kif 2696-2698 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W CherryWood)
(subclass ?S PlantStem))
(or
(initialPart ?S BlackCherryTree)
(initialPart ?S SweetCherryTree))) |
Economy.kif 5326-5333 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W PineWood)
(subclass ?S PlantStem))
(initialPart ?S PineTree)) |
Economy.kif 5461-5466 |
|
(=>
(equal ?P
(PlantFn TamarindFruit))
(subclass ?P BotanicalTree)) |
Food.kif 3489-3491 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W RedOakWood)
(subclass ?S PlantStem))
(initialPart ?S RedOakTree)) |
Economy.kif 5368-5373 |
|
(=>
(and
(equal ?X
(AttrFn ?CLASS ?ATTR))
(instance ?I ?X))
(and
(instance ?I ?CLASS)
(subclass ?X ?CLASS)
(attribute ?I ?ATTR))) |
Merge.kif 1780-1788 |
|
(=>
(equal ?P
(PlantFn Parsley))
(subclass ?P HerbaceousPlant)) |
Food.kif 2733-2735 |
|
(=>
(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
(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
(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
(equal ?S
(OrganicObjectFn ?O))
(subclass ?S Sheepskin)
(subclass ?O Skin))
(initialPart ?O Sheep)) |
Economy.kif 5051-5056 |
|
(=>
(and
(subclass ?S Mixture)
(initialPart ?S Meat)
(initialPart ?S FoodFromPlant)
(initialPart ?S DrinkingWater))
(equal ?S SoupStock)) |
Food.kif 1633-1639 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W BalsaWood)
(subclass ?S PlantStem))
(initialPart ?S BalsaTree)) |
Economy.kif 5296-5301 |
|
(=>
(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 |
|
(=>
(equal ?C
(AgentOfOrganismFn SerratiaMarcenscens))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1371-1374 |
|
(=>
(equal ?P
(PlantFn Blueberry))
(subclass ?P Shrub)) |
Food.kif 2210-2212 |
|
(=>
(equal ?C
(AgentOfOrganismFn TickBorneEncephalitisVirus))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 2019-2022 |
|
(=>
(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 |
|
(=>
(equal ?C
(AgentOfOrganismFn CoccidiodesPosadasii))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1393-1396 |
|
(=>
(equal ?P
(PlantFn Basil))
(subclass ?P HerbaceousPlant)) |
Food.kif 2170-2172 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W OkoumeWood)
(subclass ?S PlantStem))
(initialPart ?S OkoumeTree)) |
Economy.kif 5348-5353 |
|
(=>
(and
(equal ?CLASS1
(ReceivingAnObjectFn ?OBJCLASS1))
(equal ?CLASS2
(ReceivingAnObjectFn ?OBJCLASS2))
(subclass ?OBJCLASS1 ?OBJCLASS2))
(subclass ?CLASS1 ?CLASS2)) |
Media.kif 195-200 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W CedarWood)
(subclass ?S PlantStem))
(initialPart ?S CedarTree)) |
Economy.kif 5421-5426 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WhiteOakWood)
(subclass ?S PlantStem))
(initialPart ?S WhiteOakTree)) |
Economy.kif 5398-5403 |
|
(=>
(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
(subclass ?CLASS Flower)
(equal ?CLASS Cauliflower))
(initialPart ?CLASS CabbagePlant)) |
Economy.kif 4265-4269 |
|
(=>
(and
(equal ?M
(OrganicObjectFn ?G))
(subclass ?M Malt)
(subclass ?G CerealGrain))
(initialPart ?G CerealGrass)) |
Economy.kif 4166-4172 |
|
(=>
(equal ?P
(PlantFn Apple))
(subclass ?P DeciduousTree)) |
Food.kif 2184-2186 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W LarchWood)
(subclass ?S PlantStem))
(initialPart ?S LarchTree)) |
Economy.kif 5441-5446 |
|
(=>
(equal ?P
(PlantFn CashewNut))
(subclass ?P BotanicalTree)) |
Food.kif 2421-2423 |
|
(=>
(and
(equal ?P
(OrganicObjectFn ?S))
(subclass ?P Pelt))
(subclass ?S Skin)) |
Economy.kif 5032-5036 |
|
(=>
(immediateInstance ?ENTITY ?CLASS)
(not
(exists (?SUBCLASS)
(and
(subclass ?SUBCLASS ?CLASS)
(not
(equal ?SUBCLASS ?CLASS))
(instance ?ENTITY ?SUBCLASS))))) |
Merge.kif 98-104 |
|
(=>
(and
(equal ?AF
(OrganicObjectFn ?F))
(subclass ?AF AnimalFat)
(subclass ?F FatTissue))
(initialPart ?F Animal)) |
Food.kif 2876-2882 |
|
(=>
(equal ?C
(AgentOfOrganismFn CoccidioidesImmitis))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1381-1384 |
|
(=>
(and
(equal ?B
(OrganicObjectFn ?P))
(subclass ?B CoffeeBean)
(subclass ?P Seed))
(initialPart ?P CoffeePlant)) |
Economy.kif 4629-4634 |
|
(=>
(and
(equal ?S
(OrganicObjectFn ?F))
(subclass ?S Suet)
(subclass ?F FatTissue))
(or
(initialPart ?F Cattle)
(initialPart ?F Sheep))) |
Food.kif 2906-2914 |
|
(=>
(and
(equal ?C
(OrganicObjectFn ?S))
(subclass ?C CocoaBean)
(subclass ?S Seed))
(initialPart ?S CocoaTree)) |
Economy.kif 4693-4699 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W MapleWood)
(subclass ?S PlantStem))
(initialPart ?S MapleTree)) |
Economy.kif 5338-5343 |
|
(=>
(equal ?P
(PlantFn Cilantro))
(subclass ?P HerbaceousPlant)) |
Food.kif 2529-2531 |
|
(=>
(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 |
|
(=>
(equal ?X
(PlantFn EmmerWheatGrain))
(subclass ?X EmmerWheatGrass)) |
Economy.kif 4086-4089 |
|