(=>
(instance ?READ Reading)
(exists (?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP)))) |
Merge.kif 12979-12985 |
If X is an instance of reading, then there exist Y, Z such that Y is an instance of text, Y contains information Z, and X expresses the content of Z |
(=>
(instance ?REASON Reasoning)
(exists (?ARGUMENT)
(and
(instance ?ARGUMENT Argument)
(realization ?REASON ?ARGUMENT)))) |
Merge.kif 17171-17176 |
If X is an instance of reasoning, then there exists Y such that Y is an instance of argument and X expresses the content of Y |
(=>
(and
(instance ?F Scholarship)
(destination ?F ?H))
(hasPurpose ?F
(exists (?EP ?P)
(and
(instance ?EP EducationalProgram)
(realization ?P ?EP)
(experiencer ?P ?H))))) |
Mid-level-ontology.kif 8528-8537 |
If X is an instance of scholarship and X ends up at Y, then X has the purpose there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W |
(=>
(and
(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
(or
(equal ?ATTR Obligation)
(equal ?ATTR Promise)))
(modalAttribute
(exists (?PROC)
(and
(realization ?PROC ?PROP)
(agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 15680-15690 |
If X has the responsibility to make Y Z in W and equal Z and obligation or equal Z and promise, then the statement there exists V such that V expresses the content of Y and X is an agent of V has the modal force of likely |
(=>
(agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
(not
(holdsRight ?AGENT
(exists (?PROC)
(and
(realization ?PROC ?PROP)
(agent ?PROC ?AGENT)))))) |
Mid-level-ontology.kif 15692-15699 |
If X has the responsibility to make Y prohibition in Z, then X doesn't have the right to perform %3 |
(=>
(agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
(holdsRight ?AGENT
(exists (?PROC)
(and
(realization ?PROC ?PROP)
(agent ?PROC ?AGENT))))) |
Mid-level-ontology.kif 15701-15707 |
If X has the responsibility to make Y permission in Z, then X has the right to perform %3 |
(=>
(property ?AGREEMENT ActiveAgreement)
(modalAttribute
(exists (?PROC)
(realization ?PROC ?AGREEMENT)) Obligation)) |
Mid-level-ontology.kif 15718-15722 |
If X the attribute active agreement, then the statement there exists Y such that Y expresses the content of X has the modal force of obligation |
(=>
(instance ?C PurchaseContract)
(exists (?S ?SELLER ?BUYER)
(and
(instance ?S Selling)
(agent ?S ?SELLER)
(destination ?S ?BUYER)
(realization ?S ?C)
(partyToAgreement ?C ?SELLER)
(partyToAgreement ?C ?BUYER)))) |
Mid-level-ontology.kif 15787-15796 |
If X is an instance of purchase contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of selling (3) Z is an agent of Y (4) Y ends up at W (5) Y expresses the content of X (6) Z is a party to agreement of X (7) W is a party to agreement of X |
(=>
(instance ?C ServiceContract)
(exists (?SP ?SERVICE ?CUST)
(and
(instance ?SP ServiceProcess)
(realization ?SP ?C)
(serviceProvider ?SP ?SERVICE)
(serviceRecipient ?SP ?CUST)
(partyToAgreement ?C ?SERVICE)
(partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 15802-15811 |
If X is an instance of service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X |
(=>
(instance ?RECORD AudioRecording)
(exists (?INFO ?SOUND)
(and
(containsInformation ?RECORD ?INFO)
(realization ?SOUND ?INFO)
(instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 15918-15924 |
If X is an instance of audio recording, then there exist Y, Z such that X contains information Y, Z expresses the content of Y, and Z is an instance of radiating sound |
(=>
(instance ?PROG PerformanceProgram)
(exists (?PERF ?PROP)
(and
(containsInformation ?PROG ?PROP)
(realization ?PERF ?PROP)
(instance ?PERF Performance)))) |
Mid-level-ontology.kif 16144-16150 |
If X is an instance of performance program, then there exist Y, Z such that X contains information Z, Y expresses the content of Z, and Y is an instance of performance |
(=>
(instance ?PLAY DramaticPlay)
(hasPurpose ?PLAY
(exists (?ACT ?PROP)
(and
(instance ?ACT DramaticActing)
(containsInformation ?PLAY ?PROP)
(realization ?ACT ?PROP))))) |
Mid-level-ontology.kif 16557-16564 |
If X is an instance of dramatic play, then X has the purpose there exist Y, Z such that Y is an instance of dramatic acting, X contains information Z, and Y expresses the content of Z |
(=>
(instance ?R Reciting)
(exists (?P ?T)
(and
(realization ?R ?P)
(containsInformation ?T ?P)
(instance ?T Text)))) |
Mid-level-ontology.kif 17532-17538 |
If X is an instance of reciting, then there exist Y, Z such that X expresses the content of Y, Z contains information Y, and Z is an instance of text |
(=>
(and
(instance ?CAST DramaticCast)
(member ?MEMBER ?CAST))
(exists (?TEXT ?PROP ?PROC ?SUB)
(and
(instance ?TEXT FictionalText)
(containsInformation ?TEXT ?PROP)
(realization ?PROC ?PROP)
(instance ?SUB DramaticActing)
(agent ?SUB ?MEMBER)
(subProcess ?SUB ?PROC)))) |
Mid-level-ontology.kif 17578-17589 |
If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V |
(=>
(and
(instance ?DEGREE AcademicDegree)
(possesses ?AGENT ?DEGREE))
(exists (?PROGRAM ?STUDY)
(and
(instance ?PROGRAM EducationalProgram)
(realization ?STUDY ?PROGRAM)
(experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 18128-18136 |
If X is an instance of academic degree and Y possesses X, then there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W |
(=>
(instance ?COURSE EducationalCourse)
(exists (?CLASS ?ORG)
(and
(realization ?CLASS ?COURSE)
(instance ?CLASS EducationalProcess)
(eventLocated ?CLASS ?ORG)
(instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 18245-18252 |
If X is an instance of educational course, then there exist Y, Z such that Y expresses the content of X, Y is an instance of educational process, Y is located at Z, and Z is an instance of educational organization |
(=>
(classmate ?A1 ?A2 ?COURSE)
(exists (?CLASS ?EDU ?TIME)
(and
(instance ?CLASS GroupOfPeople)
(instance ?EDU EducationalProcess)
(realization ?EDU ?COURSE)
(patient ?EDU ?CLASS)
(temporalPart ?TIME
(WhenFn ?EDU))
(memberAtTime ?A1 ?CLASS ?TIME)
(memberAtTime ?A2 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 18429-18440 |
If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U |
(=>
(hasExpertise ?PERSON ?FIELD)
(exists (?LEARN ?SPECIALITY)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?PERSON)
(instance ?SPECIALITY ?FIELD)
(realization ?LEARN ?SPECIALITY)))) |
Mid-level-ontology.kif 23559-23566 |
If X has an expertise in Y, then there exist Z, W such that Z is an instance of learning, Y is an agent of Z, W is an instance of X, and Z expresses the content of W |
(=>
(and
(buys ?CUST ?AGENT ?ITEM)
(instance ?ITEM Proposition))
(exists (?TRANS ?PROC)
(and
(agent ?TRANS ?CUST)
(realization ?PROC ?ITEM)
(instance ?TRANS Buying)
(patient ?TRANS ?PROC)
(origin ?TRANS ?AGENT)))) |
Mid-level-ontology.kif 32573-32583 |
If X buys Y from Z and Y is an instance of proposition, then there exist W, V such that X is an agent of W, V expresses the content of Y, W is an instance of buying, V is a patient of W, and W originates at Z |
(=>
(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 |
If X offers items for sale in Y, Z is in Y, and Z is a subclass of proposition, then the statement there exist W, V, U such that W is an instance of Z, U expresses the content of W, V is an instance of selling, U is a patient of V, and X is an agent of V has the modal force of possibility |
(=>
(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 3943-3953 |
If X is an instance of bank statement and Y is a statement account of X, then there exists Z such that Z is an instance of financial transaction, Z originates at the currency of Y or Z ends up at the currency of Y, and X expresses the content of Z |
(=>
(and
(reservedPackage ?RESERVE ?PACKAGE)
(reservingEntity ?RESERVE ?CUST))
(modalAttribute
(exists (?PROC)
(and
(realization ?PROC ?PACKAGE)
(experiencer ?PROC ?CUST))) Likely)) |
Hotel.kif 2991-2999 |
If X is a reservation for Y and X reserves Z, then the statement there exists W such that W expresses the content of Y and Z experiences W has the modal force of likely |
(=>
(musicInterpretation ?MR ?MC)
(exists (?P)
(and
(instance ?P MakingMusic)
(realization ?P ?MC)
(record ?MR ?P)))) |
Music.kif 180-186 |
If X is a recording of Y, then there exists Z such that Z is an instance of making music, Z expresses the content of Y, and X is a record of Z |
(=>
(equal ?MM
(MusicalInterpretationFn ?A ?M ?T))
(and
(realization ?MM ?M)
(equal ?T
(WhenFn ?MM))
(agent ?MM ?A))) |
Music.kif 852-857 |
If equal X and the interpretation of Y by Z at W, then X expresses the content of Y, equal W and the time of existence of X, and Z is an agent of X |
AdvancedEconomy