(=>
(and
(attribute ?X ?ATTR)
(instance ?ATTR SizeAttribute))
(instance ?X Object)) |
Mid-level-ontology.kif 25379-25383 |
|
(=>
(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 |
|
(=>
(and
(holdsDuring ?T1
(and
(attribute ?PERSON DislocatedCivilian)
(inhabits ?PERSON ?RESIDENCE)
(located ?RESIDENCE ?PLACE)))
(instance ?PLACE GeographicArea)
(instance ?T1 TimeInterval))
(exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
(and
(instance ?T0 TimeInterval)
(earlier ?T0 ?T1)
(instance ?PRIOR-RES Object)
(instance ?PRIOR-PLACE GeopoliticalArea)
(located ?PRIOR-RES ?PRIOR-PLACE)
(not
(equal ?PLACE ?PRIOR-PLACE))
(not
(equal ?RESIDENCE ?PRIOR-RES))
(not
(geographicSubregion ?PLACE ?PRIOR-PLACE))
(not
(geographicSubregion ?PRIOR-PLACE ?PLACE))
(holdsDuring ?T0
(inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 |
|
(=>
(and
(instance ?C Choking)
(experiencer ?C ?H))
(exists (?O ?T ?L)
(and
(instance ?O Object)
(instance ?T Trachea)
(instance ?L Lung)
(part ?T ?H)
(part ?L ?H)
(holdsDuring
(WhenFn ?C)
(or
(located ?O ?T)
(located ?O ?L)))))) |
Mid-level-ontology.kif 11781-11796 |
|
(=>
(and
(instance ?C Coughing)
(experiencer ?C ?H))
(hasPurpose ?C
(exists (?R ?L ?O ?T)
(and
(instance ?L Lung)
(instance ?T Throat)
(instance ?O Object)
(instance ?R Removing)
(part ?L ?H)
(part ?T ?H)
(objectTransferred ?R ?O)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(or
(located ?O ?T)
(located ?O ?L))))))) |
Mid-level-ontology.kif 6050-6069 |
|
(=>
(and
(instance ?C Sneezing)
(experiencer ?C ?H))
(hasPurpose ?C
(exists (?R ?N ?NOSE ?O)
(and
(instance ?N NasalCavity)
(instance ?NOSE Nose)
(equal ?NOSE
(HoleHostFn ?N))
(instance ?O Object)
(instance ?R Removing)
(part ?NOSE ?H)
(objectTransferred ?R ?O)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(located ?O ?N)))))) |
Mid-level-ontology.kif 6116-6134 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG AirTransportationIndustry))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?FLY ?PLANE ?OBJ)
(and
(instance ?FLY Transportation)
(or
(patient ?FLY ?P)
(and
(possesses ?P ?OBJ)
(patient ?FLY ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?PLANE)
(instance ?PLANE Aircraft))) ?MEM ?P)))))) |
naics.kif 7953-7978 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING)
(and
(instance ?EV Selling)
(instance ?THING Object)
(or
(capability Constructing resource ?THING)
(capability Agriculture resource ?THING))
(patient ?EV ?THING)))))) |
naics.kif 7242-7257 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG CouriersAndMessengers))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS)
(and
(instance ?TRANS Transportation)
(possesses ?P ?OBJ)
(patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8736-8756 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG GeneralMerchandiseStores))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING ?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(instance ?THING Object)
(destination ?EV ?P)
(patient ?EV ?THING)))))) |
naics.kif 7702-7716 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG MiscellaneousManufacturing))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING ?MEM2 ?EV2)
(and
(instance ?EV Manufacture)
(instance ?THING Object)
(patient ?EV ?THING)
(member ?MEM2 ?ORG)
(instance ?EV2 Selling)
(agent ?EV2 ?MEM2)
(patient ?EV2 ?THING)))))) |
naics.kif 6153-6169 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG MiscellaneousStoreRetailers))
(exists (?EV ?MEM ?THING ?ST ?P)
(and
(member ?MEM ?ORG)
(agent ?EV ?P)
(instance ?EV Selling)
(instance ?P Human)
(instance ?ST RetailStore)
(eventLocated ?EV ?ST)
(instance ?THING Object)
(patient ?EV ?THING)))) |
naics.kif 7752-7765 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG NonstoreRetailers))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING ?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(instance ?THING Object)
(not
(eventLocated ?EV RetailStore))
(destination ?EV ?P)
(patient ?EV ?THING)))))) |
naics.kif 7877-7893 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG PostalService))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS)
(and
(instance ?TRANS Transportation)
(possesses ?P ?OBJ)
(patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8707-8727 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG RailTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?MOVE ?RR ?OBJ)
(and
(instance ?MOVE Transportation)
(or
(patient ?MOVE ?P)
(and
(possesses ?P ?OBJ)
(patient ?MOVE ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?RR)
(instance ?RR RailVehicle))) ?MEM ?P)))))) |
naics.kif 8034-8059 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING)
(and
(instance ?EV Selling)
(instance ?THING Object)
(or
(capability Sport instrument ?THING)
(capability MakingMusic instrument ?THING)
(instance ?THING Book)
(instance ?THING MusicRecording)
(instance ?THING MusicText))
(patient ?EV ?THING)))))) |
naics.kif 7600-7618 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG TruckTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ)
(and
(instance ?T Transportation)
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Object)
(possesses ?ORG ?V)
(instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8253-8275 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG WarehousingAndStorage))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P ?OBJ)
(and
(instance ?EV Selling)
(instance ?OBJ Object)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?B ?T)
(and
(instance ?T TimeInterval)
(instance ?B Building)
(possesses ?P ?OBJ)
(holdsDuring ?T
(located ?B ?OBJ)))) ?MEM ?P)))))) |
naics.kif 8776-8797 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG WaterTransportationIndustry))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ)
(and
(instance ?T Transportation)
(or
(patient ?T ?P)
(and
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Object)))
(possesses ?ORG ?V)
(instance ?V WaterVehicle))) ?MEM ?P)))))) |
naics.kif 8080-8105 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG WholesaleTrade))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING ?MEM2 ?EV2)
(and
(instance ?EV Selling)
(instance ?THING Object)
(patient ?EV ?THING)
(member ?MEM2 ?ORG)
(instance ?EV2 Selling)
(agent ?EV2 ?MEM2)
(patient ?EV2 ?THING)))))) |
naics.kif 6375-6391 |
|
(=>
(and
(instance ?PAGE ViewItemPage)
(instance ?SITE WebSite)
(component ?PAGE ?SITE))
(exists (?ITEM ?ADVERTISING)
(and
(instance ?ITEM Object)
(instance ?ADVERTISING WebListing)
(component ?ADVERTISING ?PAGE)
(hostedOn ?ADVERTISING ?SITE)
(patient ?ADVERTISING ?ITEM)))) |
UXExperimentalTerms.kif 2065-2076 |
|
(=>
(and
(instance ?REPAYMENT Repayment)
(instance ?REPAYMENT_DESTINATION Object)
(destination ?REPAYMENT ?REPAYMENT_DESTINATION)
(instance ?REPAYMENT_ORIGIN Object)
(origin ?REPAYMENT ?REPAYMENT_ORIGIN))
(exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(and
(instance ?PAYMENT Payment)
(instance ?PAYMENT_ORIGIN Object)
(instance ?PAYMENT_DESTINATION Object)
(not
(equal ?PAYMENT ?REPAYMENT))
(destination ?PAYMENT ?PAYMENT_DESTINATION)
(origin ?PAYMENT ?PAYMENT_ORIGIN)
(equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) |
UXExperimentalTerms.kif 1883-1900 |
|
(=>
(and
(instance ?S Searching)
(patient ?S ?OBJ)
(instance ?OBJ Physical))
(exists (?LOC ?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?S ?AGENT)
(instance ?LOC Object)
(located ?OBJ ?LOC)
(hasPurposeForAgent ?S
(knows ?AGENT
(located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 13030-13043 |
|
(=>
(and
(instance ?X Argument)
(instance ?R Reasoning)
(instance ?A Archeology)
(subProposition ?X ?A)
(realization ?R ?X))
(exists (?D ?S ?O ?T ?W ?L)
(and
(instance ?D Discovering)
(instance ?O Object)
(patient ?D ?O)
(refers ?R ?D)
(earlier
(WhenFn ?D)
(WhenFn ?R))
(age ?O
(MeasureFn ?T YearDuration))
(greaterThan ?T 50)
(holdsDuring
(ImmediatePastFn
(WhenFn ?D))
(or
(and
(surface ?S ?W)
(instance ?W BodyOfWater)
(orientation ?O ?S Below))
(and
(surface ?S ?L)
(instance ?L LandArea)
(orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 21174-21204 |
- If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition,
- then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
|
(=>
(and
(instance ?X Region)
(attribute ?X Vacuum))
(not
(exists (?O)
(and
(instance ?O Object)
(located ?O ?X))))) |
Cars.kif 368-376 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
