(=>
(and
(instance ?I Immigrating)
(agent ?I ?A))
(exists (?N1 ?N2)
(and
(instance ?N1 Nation)
(instance ?N2 Nation)
(origin ?I ?N1)
(destination ?I ?N2)
(not
(equal ?N1 ?N2))
(member ?A
(CitizenryFn ?N1))
(not
(member ?A
(CitizenryFn ?N2)))
(hasPurpose ?I
(inhabits ?A ?N2))))) |
Mid-level-ontology.kif 17352-17368 |
|
(=>
(and
(instance ?LEND Lending)
(agent ?LEND ?AGENT2)
(destination ?LEND ?AGENT1)
(patient ?LEND ?OBJECT))
(exists (?BORROW)
(and
(instance ?BORROW Borrowing)
(agent ?BORROW ?AGENT1)
(origin ?BORROW ?AGENT2)
(patient ?BORROW ?OBJECT)))) |
Merge.kif 11744-11755 |
|
(=>
(and
(instance ?M Measuring)
(instrument ?M ?R)
(instance ?R RTPCRTest))
(exists (?E)
(and
(instance ?E RadiatingLight)
(origin ?E ?R)))) |
Medicine.kif 1589-1597 |
|
(=>
(and
(instance ?P FoodPickup)
(agent ?P ?AGENT)
(destination ?P ?CUST)
(patient ?P ?FOOD))
(and
(instance ?FOOD
(FoodForFn Human))
(exists (?LOC ?T ?G)
(and
(located ?AGENT ?LOC)
(instance ?T Translocation)
(agent ?T ?CUST)
(destination ?T ?LOC)
(instance ?G Getting)
(origin ?G ?AGENT)
(destination ?G ?CUST)
(patient ?G ?FOOD))))) |
Dining.kif 610-627 |
|
(=>
(and
(instance ?P Passport)
(possesses ?A ?P))
(confersNorm ?P
(exists (?T ?N1 ?N2)
(and
(instance ?T Translocation)
(agent ?T ?A)
(origin ?T ?N1)
(destination ?T ?N2)
(instance ?N1 Nation)
(instance ?N2 Nation)
(not
(equal ?N1 ?N2)))) Permission)) |
Mid-level-ontology.kif 16561-16575 |
|
(=>
(and
(instance ?PLUG ElectricalPlug)
(instance ?DEVICE ElectricDevice)
(instance ?OUTLET ElectricalOutlet)
(connectedEngineeringComponents ?DEVICE ?PLUG)
(completelyFills ?PLUG ?OUTLET)
(instance ?POWER PowerSource)
(connectedEngineeringComponents ?POWER ?OUTLET))
(exists (?RE)
(and
(instance ?RE RadiatingElectromagnetic)
(origin ?RE ?POWER)
(destination ?RE ?DEVICE)))) |
Mid-level-ontology.kif 25947-25960 |
|
(=>
(and
(instance ?REL SheddingPart)
(?REL ?O ?P)
(instance ?O Organism)
(instance ?P AnatomicalStructure)
(part ?P ?O))
(exists (?R)
(and
(instance ?R Removing)
(origin ?R ?O)
(patient ?R ?P)))) |
Geography.kif 6412-6423 |
|
(=>
(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 ?Refinancing Refinancing)
(time ?Refinancing ?Time)
(instance ?Loan Loan)
(securedBy ?Loan ?Collateral)
(borrower ?Loan ?Borrower)
(currentAccountBalance ?Loan ?Time ?Amount)
(patient ?Refinancing ?Loan))
(exists (?NewLoan ?Payment)
(and
(instance ?NewLoan Loan)
(borrower ?NewLoan ?Borrower)
(securedBy ?Loan ?Collateral)
(destination ?Payment
(CurrencyFn ?Loan))
(time ?Payment ?Time)
(origin ?Payment
(CurrencyFn ?NewLoan))
(transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1449-1466 |
|
(=>
(and
(instance ?S Swallowing)
(agent ?S ?H))
(exists (?M ?E ?ST ?O)
(and
(instance ?M Mouth)
(instance ?E Esophagus)
(instance ?ST Stomach)
(objectTransferred ?S ?O)
(origin ?S ?M)
(destination ?S ?ST)
(path ?S ?E)))) |
Mid-level-ontology.kif 6595-6607 |
|
(=>
(and
(instance ?SELL Selling)
(agent ?SELL ?AGENT))
(origin ?SELL ?AGENT)) |
Merge.kif 11933-11937 |
|
(=>
(and
(instance ?SOUND RadiatingSound)
(agent ?SOUND ?OBJ)
(attribute ?SOUND Audible))
(exists (?HUMAN ?HEAR)
(and
(instance ?HUMAN Human)
(capability
(KappaFn ?HEAR
(and
(instance ?HEAR Hearing)
(agent ?HEAR ?HUMAN)
(destination ?HEAR ?HUMAN)
(origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13610-13624 |
|
(=>
(and
(instance ?SPIT Drooling)
(experiencer ?SPIT ?ANIMAL))
(exists (?MOUTH ?S)
(and
(instance ?MOUTH Mouth)
(objectTransferred ?SPIT ?S)
(instance ?S Saliva)
(part ?MOUTH ?ANIMAL)
(origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 6567-6577 |
|
(=>
(and
(instance ?SPIT Spitting)
(agent ?SPIT ?ANIMAL))
(exists (?MOUTH)
(and
(instance ?MOUTH Mouth)
(part ?MOUTH ?ANIMAL)
(origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 6553-6561 |
|
(=>
(and
(instance ?Service CommercialService)
(agent ?Service ?Agent)
(employs ?Org ?Agent)
(destination ?Service ?Customer))
(hasPurpose ?Service
(exists (?Transaction)
(and
(instance ?Transaction FinancialTransaction)
(destination ?Transaction ?Org)
(origin ?Transaction ?Customer))))) |
FinancialOntology.kif 3590-3601 |
|
(=>
(and
(instance ?Statement BankStatement)
(statementAccount ?Statement ?Account))
(exists (?Transaction)
(and
(instance ?Transaction FinancialTransaction)
(or
(origin ?Transaction
(CurrencyFn ?Account))
(destination ?Transaction
(CurrencyFn ?Account)))
(realization ?Statement ?Transaction)))) |
FinancialOntology.kif 3885-3895 |
|
(=>
(and
(instance ?T Thoracentesis)
(patient ?T ?H))
(exists (?I ?O ?IN ?L ?C ?F)
(and
(instance ?I Inserting)
(subProcess ?I ?T)
(objectTransferred ?I ?N)
(origin ?I ?O)
(destination ?I ?IN)
(instance ?N Needle)
(attribute ?F Fluid)
(objectTransferred ?T ?F)
(destination ?F ?O)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(origin ?T ?IN)
(destination ?T ?O)
(between ?L ?IN ?C)
(orientation ?O ?H Outside)))) |
Medicine.kif 895-917 |
- If a transfer is an instance of needle decompression and an object is a patient of the transfer,
- then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
|
(=>
(and
(instance ?T TwoStrokeTransfer)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?T ?C))
(exists (?E ?M)
(and
(instance ?M GasMotion)
(instance ?E Exhaust)
(subProcess ?M ?T)
(origin ?M ?I)
(patient ?M ?E)))) |
Cars.kif 523-536 |
|
(=>
(and
(instance ?T1 Translocation)
(instance ?T2 Translocation)
(origin ?T1 ?O1)
(origin ?T2 ?D1)
(destination ?T1 ?D1)
(destination ?T2 ?D2)
(experiencer ?T1 ?P)
(experiencer ?T2 ?P))
(exists (?T)
(and
(instance ?T Translocation)
(origin ?T ?O1)
(destination ?T ?D2)
(subProcess ?T1 ?T)
(subProcess ?T2 ?T)
(experiencer ?T ?P)
(starts
(WhenFn ?T1)
(WhenFn ?T))
(finishes
(WhenFn ?T2)
(WhenFn ?T))))) |
Merge.kif 11305-11328 |
|
(=>
(and
(instance ?TRANS Buying)
(attribute ?TRANS CBT)
(patient ?TRANS ?OBJ)
(instance ?OBJ Object))
(exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(and
(instance ?BUYER AutonomousAgent)
(instance ?SELLER AutonomousAgent)
(agent ?TRANS ?BUYER)
(origin ?TRANS ?SELLER)
(instance ?BUYER_LOCATION GeopoliticalArea)
(instance ?SELLER_LOCATION GeopoliticalArea)
(located ?SELLER ?SELLER_LOCATION)
(located ?BUYER ?BUYER_LOCATION)
(not
(equal ?BUYER_LOCATION ?SELLER_LOCATION))))) |
UXExperimentalTerms.kif 1841-1858 |
|
(=>
(and
(instance ?V PulmonaryVein)
(instance ?T Transfer)
(patient ?T ?B)
(instrument ?T ?V)
(instance ?B Blood))
(exists (?L ?H ?P)
(and
(instance ?L Lung)
(origin ?T ?L)
(part ?V ?P)
(part ?L ?P)
(part ?H ?P)
(instance ?H Heart)
(destination ?T ?H)))) |
Mid-level-ontology.kif 11157-11172 |
|
(=>
(and
(instance ?X Buffet)
(member ?ITEM ?X)
(located ?X ?LOC1)
(instance ?E Eating)
(agent ?E ?AGENT)
(eventLocated ?E ?LOC2)
(patient ?E ?ITEM))
(and
(not
(equal ?LOC1 ?LOC2))
(exists (?G)
(and
(instance ?G Getting)
(patient ?G ?ITEM)
(origin ?G ?LOC1)
(agent ?G ?AGENT)
(before
(WhenFn ?G)
(WhenFn ?E)))))) |
Dining.kif 274-291 |
|
(=>
(and
(instance ?X DutyTax)
(refers ?X ?OBJ)
(patient ?X ?OBJ))
(exists (?T ?N1 ?N2)
(and
(instance ?T Transfer)
(patient ?T ?OBJ)
(origin ?T ?N1)
(destination ?T ?N2)
(instance ?N1 Nation)
(instance ?N2 Nation)
(not
(equal ?N1 ?N2))
(earlier
(WhenFn ?T)
(WhenFn ?X))
(causes ?T ?X)))) |
FinancialOntology.kif 949-964 |
|
(=>
(and
(instance ?X TelephoneCommunication)
(attribute ?X Domestic))
(exists (?ORIGIN ?DEST ?COUNTRY)
(and
(origin ?X ?ORIGIN)
(destination ?X ?DEST)
(located ?ORIGIN ?COUNTRY)
(located ?DEST ?COUNTRY)
(instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 27125-27135 |
|
(=>
(and
(instance ?X TelephoneCommunication)
(attribute ?X International))
(exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2)
(and
(origin ?X ?ORIGIN)
(destination ?X ?DEST)
(located ?ORIGIN ?CTRY1)
(located ?DEST ?CTRY2)
(instance ?CTRY1 Nation)
(instance ?CTRY2 Nation)
(not
(equal ?CTRY1 ?CTRY2))))) |
Mid-level-ontology.kif 27142-27154 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |