(=>
(and
(instance ?X TelephoneCommunication)
(attribute ?X Local))
(exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(and
(origin ?X ?ORIGIN)
(destination ?X ?DEST)
(telephoneNumber ?TEL1 ?ORIGIN)
(telephoneNumber ?TEL2 ?DEST)
(telecomAreaCode ?CODE ?TEL1)
(telecomAreaCode ?CODE ?TEL2)))) |
Mid-level-ontology.kif 27107-27118 |
|
(=>
(and
(monetaryValue ?Check ?Amount)
(checkAccount ?Check ?Account)
(instance ?Processing ProcessingACheck)
(patient ?Processing ?Check)
(equal
(WhenFn ?Processing) ?ProcessingTime))
(exists (?Withdrawal ?WithdrawalTime)
(and
(instance ?Withdrawal Withdrawal)
(instrument ?Withdrawal ?Check)
(equal
(WhenFn ?Withdrawal) ?WithdrawalTime)
(meetsTemporally ?ProcessingTime ?WithdrawalTime)
(transactionAmount ?Withdrawal ?Amount)
(origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 |
|
(=>
(and
(negotiatedPrice ?ENT ?PRICE ?AGREE)
(partyToAgreement ?SELLER ?AGREE)
(partyToAgreement ?BUYER ?AGREE))
(agreementClause
(exists (?B ?ITEM)
(and
(instance ?B Buying)
(patient ?B ?ITEM)
(immediateInstance ?ITEM ?ENT)
(agent ?B ?BUYER)
(origin ?B ?SELLER)
(transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER)) |
Catalog.kif 311-324 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(attribute ?M CoinOperated)
(hasPurpose ?M
(exists (?C ?FT ?A ?ACT)
(and
(instance ?C CurrencyCoin)
(instance ?FT FinancialTransaction)
(destination ?FT ?M)
(patient ?FT ?C)
(origin ?FT ?A)
(causes ?FT ?ACT)
(wants ?A ?ACT))))) |
Mid-level-ontology.kif 29474-29485 |
|
(=>
(exportPartner ?AGENT1 ?AGENT2)
(exists (?EXPORT)
(and
(instance ?EXPORT Exporting)
(origin ?EXPORT ?AGENT1)
(destination ?EXPORT ?AGENT2)))) |
Economy.kif 2379-2385 |
|
(=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME ?EXPORT)
(and
(instance ?TIME ?PERIOD)
(instance ?EXPORT Exporting)
(overlapsTemporally ?TIME
(WhenFn ?EXPORT))
(origin ?EXPORT ?AGENT1)
(destination ?EXPORT ?AGENT2)))) |
Economy.kif 2359-2367 |
|
(=>
(holdsDuring ?T
(and
(instance ?C Computer)
(attribute ?C AirplaneMode)))
(not
(holdsDuring ?T
(capability
(NetworkCommunicationFn WirelessNetwork) origin ?C)))) |
ComputingBrands.kif 1820-1827 |
|
(=>
(importPartner ?AGENT1 ?AGENT2)
(exists (?EXPORT)
(and
(instance ?EXPORT Exporting)
(origin ?EXPORT ?AGENT2)
(destination ?EXPORT ?AGENT1)))) |
Economy.kif 2666-2672 |
|
(=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME ?EXPORT)
(and
(instance ?TIME ?PERIOD)
(instance ?EXPORT Exporting)
(overlapsTemporally ?TIME
(WhenFn ?EXPORT))
(origin ?EXPORT ?AGENT2)
(destination ?EXPORT ?AGENT1)))) |
Economy.kif 2647-2655 |
|
(=>
(instance ?ACT UploadingOverNetwork)
(exists (?DATA ?COM)
(and
(patient ?ACT ?DATA)
(instance ?COM Computer)
(origin ?ACT ?COM)
(instance ?DATA DigitalData)))) |
ComputerInput.kif 2779-2786 |
|
(=>
(instance ?AI AirIntake)
(hasPurpose ?AI
(exists (?A ?E ?T)
(and
(instance ?A Air)
(instance ?E Engine)
(instance ?T Transfer)
(origin ?T ?AI)
(destination ?T ?E)
(patient ?T ?A))))) |
Cars.kif 973-983 |
|
(=>
(instance ?B Birth)
(exists (?M ?BABY)
(and
(attribute ?M Female)
(origin ?B ?M)
(objectTransferred ?B ?BABY)
(attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 24010-24017 |
|
(=>
(instance ?BEVERAGE DistilledAlcoholicBeverage)
(exists (?REMOVE ?WATER)
(and
(instance ?REMOVE Removing)
(patient ?REMOVE ?WATER)
(instance ?WATER FreshWater)
(origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 10925-10932 |
|
(=>
(instance ?C Catheter)
(hasPurpose ?C
(exists (?M ?O ?OBJ ?L)
(and
(instance ?O Organism)
(instance ?M Motion)
(moves ?M ?OBJ)
(orientation ?L ?O Outside)
(path ?M ?C)
(or
(and
(origin ?M ?L)
(destination ?M ?O))
(and
(origin ?M ?O)
(destination ?M ?L))))))) |
Medicine.kif 548-564 |
|
(=>
(instance ?C CommunitySpread)
(not
(exists (?H)
(knows ?H
(exists (?N)
(and
(origin ?C ?H)
(names ?N ?H))))))) |
Medicine.kif 3218-3226 |
|
(=>
(instance ?CM CentrifugalMotion)
(exists (?R ?A ?O1 ?O2)
(and
(instance ?R Rotating)
(axis ?A ?O1)
(origin ?CM ?A)
(experiencer ?R ?O1)
(experiencer ?CM ?O2)
(causes ?R ?CM)))) |
Mid-level-ontology.kif 17487-17496 |
|
(=>
(instance ?CM CoffeeMaking)
(exists (?R ?LM ?CG ?W ?F ?C)
(and
(subProcess ?R ?CM)
(instance ?R Removing)
(origin ?R ?LM)
(instance ?LM LiquidMixture)
(part ?W ?LM)
(instance ?W DrinkingWater)
(part ?CG ?LM)
(instance ?CG CoffeeGrind)
(instrument ?R ?F)
(instance ?F Filter)
(result ?R ?C)
(instance ?C Coffee)))) |
Food.kif 686-701 |
- If a process is an instance of coffee making,
- then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
|
(=>
(instance ?CP ComputerProtocol)
(hasPurpose ?CP
(exists (?P1 ?P2 ?C)
(and
(instance ?P1 ComputerProgram)
(instance ?P2 ComputerProgram)
(instance ?C DataTransfer)
(origin ?C ?P1)
(destination ?C ?P2)
(represents ?CP ?C))))) |
ComputingBrands.kif 1736-1746 |
|
(=>
(instance ?D Defrauding)
(exists (?A ?P ?O)
(and
(agent ?D ?A)
(suffers ?D ?P)
(benefits ?D ?A)
(objectTransferred ?D ?O)
(origin ?O ?P)
(destination ?O ?A)))) |
Mid-level-ontology.kif 18311-18320 |
|
(=>
(instance ?D Discharging)
(exists (?B)
(and
(instance ?B Battery)
(origin ?D ?B)))) |
Cars.kif 2424-2429 |
|
(=>
(instance ?D Diuretic)
(hasPurpose ?D
(exists (?R ?L ?H ?LOC)
(and
(instance ?H Human)
(instance ?R Removing)
(instance ?L Liquid)
(experiencer ?R ?H)
(moves ?R ?L)
(origin ?L ?H)
(not
(contains ?H ?LOC))
(destination ?R ?LOC))))) |
Mid-level-ontology.kif 10010-10023 |
|
(=>
(instance ?DETERGENT Detergent)
(hasPurpose ?DETERGENT
(exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(and
(instance ?REMOVE Removing)
(instance ?SUBSTANCE Substance)
(patient ?REMOVE ?SUBSTANCE)
(origin ?REMOVE ?SURFACE)
(surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 8848-8857 |
|
(=>
(instance ?E Elevator)
(hasPurpose ?E
(exists (?T ?L1 ?L2 ?B)
(and
(instance ?T Transportation)
(origin ?T ?L1)
(instance ?L1 BuildingLevel)
(destination ?T ?L2)
(instance ?L2 BuildingLevel)
(not
(equal ?L1 ?L2))
(part ?L1 ?B)
(part ?L2 ?B)
(instance ?B Building))))) |
Mid-level-ontology.kif 15427-15440 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |