  immediateInstance
|
|
Sigma KEE - containsFormula
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(containsFormula ?LEARN ?FORM))
(and
(holdsDuring
(BeginFn
(WhenFn ?LEARN))
(not
(knows ?AGENT ?FORM)))
(holdsDuring
(EndFn
(WhenFn ?LEARN))
(knows ?AGENT ?FORM)))) |
Merge.kif 12225-12239 |
If X is an instance of learning, Y is an agent of X, and X contains the formula Z, then Y doesn't know Z holds during the beginning of the time of existence of X and Y knows Z holds during the end of the time of existence of X |
(=>
(and
(instance ?JUDGE Judging)
(agent ?JUDGE ?AGENT)
(containsFormula ?JUDGE ?P))
(and
(holdsDuring
(BeginFn
(WhenFn ?JUDGE))
(not
(believes ?AGENT ?P)))
(holdsDuring
(EndFn
(WhenFn ?JUDGE))
(believes ?AGENT ?P)))) |
Merge.kif 12378-12392 |
If X is an instance of judging, Y is an agent of X, and X contains the formula Z, then Y doesn't believe Z holds during the beginning of the time of existence of X and Y believes Z holds during the end of the time of existence of X |
(=>
(and
(instance ?PREDICT Predicting)
(containsFormula ?PREDICT ?FORMULA))
(exists (?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(earlier ?TIME
(WhenFn ?PREDICT))))) |
Merge.kif 12435-12442 |
If X is an instance of predicting and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens earlier than the time of existence of X |
(=>
(and
(instance ?REMEMBER Remembering)
(containsFormula ?REMEMBER ?FORMULA))
(exists (?TIME)
(and
(holdsDuring ?TIME ?FORMULA)
(or
(before ?TIME
(WhenFn ?REMEMBER))
(earlier ?TIME
(WhenFn ?REMEMBER)))))) |
Merge.kif 12449-12458 |
If X is an instance of remembering and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens before the time of existence of X or Z happens earlier than the time of existence of X |
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(containsFormula ?STATE ?FORMULA))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA))) |
Merge.kif 13441-13448 |
If X is an instance of stating, Y is an agent of X, and X contains the formula Z, then Y believes Z holds during the time of existence of X |
(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(containsFormula ?REQUEST ?FORMULA))
(desires ?AGENT ?FORMULA)) |
Merge.kif 13501-13506 |
If X is an instance of requesting, Y is an agent of X, and X contains the formula Z, then Y desires Z |
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(containsFormula ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA)))) |
Merge.kif 13513-13522 |
If X is an instance of questioning, Y is an agent of X, X contains the formula Z, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X |
(=>
(and
(instance ?COMMIT Committing)
(containsFormula ?COMMIT ?FORMULA)
(instance ?FORMULA Formula))
(modalAttribute ?FORMULA Promise)) |
Merge.kif 13529-13534 |
If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise |
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FactualText)
(authors ?AGENT ?CLASS)
(containsFormula ?TEXT ?CONTENT))
(believes ?AGENT ?CONTENT)) |
Merge.kif 15682-15688 |
If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, and X contains the formula W, then Z believes W |
(=>
(and
(instance ?THREATEN Threatening)
(containsFormula ?THREATEN ?FORM)
(destination ?THREATEN ?DEST))
(not
(desires ?DEST ?FORM))) |
Mid-level-ontology.kif 849-855 |
If X is an instance of threatening, X contains the formula Y, and X ends up at Z, then Z doesn't desire Y |
(=>
(and
(instance ?AGREEMENT Contract)
(partyToAgreement ?AGENT1 ?AGREEMENT)
(partyToAgreement ?AGENT2 ?AGREEMENT)
(instance ?PROC IntentionalProcess)
(agent ?PROC ?AGENT1)
(realization ?PROC ?PROP)
(containsFormula ?PROP ?FORM1)
(containsFormula ?AGREEMENT ?FORM2)
(not
(consistent ?FORM1 ?FORM2)))
(modalAttribute
(exists (?LEGAL)
(and
(instance ?LEGAL LegalAction)
(plaintiff ?LEGAL ?AGENT2)
(defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15750-15767 |
If All of the following hold: (1) X is an instance of contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility |
(=>
(and
(instance ?NOTIFY Notifying)
(instance ?AGENT CognitiveAgent)
(containsFormula ?NOTIFY ?FORMULA)
(destination ?NOTIFY ?AGENT))
(not
(holdsDuring
(BeginFn
(WhenFn ?NOTIFY))
(knows ?AGENT ?FORMULA)))) |
Facebook.kif 620-630 |
If X is an instance of notifying, Y is an instance of cognitive agent, X contains the formula Z, and X ends up at Y, then Y doesn't know Z doesn't hold during the beginning of the time of existence of X |
(=>
(and
(agreementEffectiveDuring ?AGR ?DATE)
(instance ?TIME ?DATE)
(containsFormula ?AGR ?FORMULA))
(holdsDuring ?TIME ?FORMULA)) |
Government.kif 738-743 |
If X is an agreement effective during of Y, Z is an instance of X, and Y contains the formula W, then W holds during Z |
(=>
(and
(instance ?CONST
(ConstitutionFn ?COUNTRY))
(instance ?COUNTRY Nation)
(equal ?GOV
(GovernmentFn ?COUNTRY))
(instance
(WhenFn ?GOV) ?CLASS)
(agreementEffectiveDuring ?CONST ?CLASS)
(subProposition ?PART ?CONST)
(containsFormula ?PART ?FORMULA))
(holdsObligation ?GOV ?FORMULA)) |
Government.kif 745-754 |
If All of the following hold: (1) X is an instance of the constitution of Y (2) Y is an instance of nation (3) equal Z and the government of Y (4) the time of existence of Z is an instance of W (5) W is an agreement effective during of X (6) V is a sub-proposition of X (7) V contains the formula U, then Z is obliged to perform tasks of type U |
(=>
(and
(subclass ?PLATFORM PartyPlatform)
(authors ?PARTY ?PLATFORM)
(instance ?PARTY PoliticalParty)
(instance ?INST ?PLATFORM)
(containsFormula ?INST ?P))
(believes ?PARTY ?P)) |
Government.kif 2301-2308 |
If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W |
(=>
(and
(instance ?SR ReconnaissanceOperation)
(agent ?SR ?AGENT)
(containsFormula ?SR ?FORM))
(hasPurpose ?SR
(knows ?AGENT ?FORM))) |
MilitaryProcesses.kif 706-712 |
If X is an instance of reconnaissance operation, Y is an agent of X, and X contains the formula Z, then X has the purpose Y knows Z |
(=>
(and
(subclass ?PUB JointPublication)
(instance ?ONE ?PUB)
(containsFormula ?ONE ?CONTENT)
(authors ?JORG ?PUB))
(exists (?ORG)
(and
(subOrganization ?ORG USMilitary)
(confersObligation ?ORG ?JORG ?CONTENT)))) |
MilitaryProcesses.kif 962-971 |
If X is a subclass of joint publication, Y is an instance of X, Y contains the formula Z, and W is the author of X, then there exists V such that V is a part of the organization US military and W obligates Z to perform task of the type V |
(=>
(and
(confidenceInterval ?EXP ?CONF)
(instance ?EXP Experimenting)
(containsFormula ?EXP ?FORM))
(represents ?CONF
(ProbabilityFn ?FORM))) |
UXExperimentalTerms.kif 531-537 |
If X is the confidence in Y, Y is an instance of experimenting, and Y contains the formula Z, then X expresses the probability of Z |
(=>
(and
(activePolicy ?POL ?DATE)
(instance ?TIME ?DATE)
(containsFormula ?POL ?FORMULA))
(holdsDuring ?TIME ?FORMULA)) |
TravelPolicies.kif 174-179 |
If activePolicy X and Y, Z is an instance of Y, and X contains the formula W, then W holds during Z |
(=>
(and
(instance ?DOC PolicyDocument)
(containsFormula ?DOC ?PROP))
(modalAttribute ?PROP Legal)) |
TravelPolicies.kif 288-292 |
If X is an instance of policy document and X contains the formula Y, then the statement Y has the modal force of legal |
(=>
(and
(instance ?TR TravelRequest)
(agent ?TR ?EMPLOYEE)
(containsFormula ?TR ?FORM))
(desires ?EMPLOYEE ?FORM)) |
TravelPolicies.kif 497-502 |
If X is an instance of an employee must request permission to go in a BusinessTrip, Y is an agent of X, and X contains the formula Z, then Y desires Z |
(=>
(and
(instance ?W Worrying)
(experiencer ?W ?A)
(instance ?A Human)
(containsFormula ?W ?F))
(fears ?A ?F)) |
emotion.kif 1609-1615 |
If X is an instance of worrying, Y experiences X, Y is an instance of human, and X contains the formula Z, then Y fears Z |
|
consequent
|
|
|
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?A)
(patient ?DECIDE ?S)
(instance ?S Set)
(result ?DECIDE ?X)
(instance ?X ContentBearingPhysical))
(containsFormula ?X
(holdsDuring
(FutureFn
(WhenFn ?DECIDE))
(exists (?M)
(and
(element ?M ?S)
(instance ?M IntentionalProcess)
(agent ?M ?A)))))) |
Merge.kif 12332-12348 |
If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
(=>
(instance ?DIS Disagreeing)
(exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
(and
(subProcess ?STATE1 ?DIS)
(subProcess ?STATE2 ?DIS)
(agent ?STATE1 ?A1)
(agent ?STATE2 ?A2)
(not
(equal ?A1 ?A2))
(containsFormula ?STATE1 ?STMT1)
(containsFormula ?STATE2 ?STMT2)
(not
(consistent ?STMT1 ?STMT2))))) |
Merge.kif 13458-13471 |
If X is an instance of disagreeing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is a subprocess of X (3) V is a subprocess of X (4) Y is an agent of W (5) Z is an agent of V (6) equal Y (7) Z (8) W contains the formula U (9) V contains the formula T (10) T is not a consistent of U |
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FictionalText)
(authors ?AGENT ?CLASS))
(exists (?FORM)
(and
(containsFormula ?TEXT ?FORM)
(not
(believes ?AGENT ?FORM))))) |
Merge.kif 15718-15727 |
If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X contains the formula W and Z doesn't believe W |
(=>
(instance ?R PositionReport)
(containsFormula ?R
(exists (?O ?A)
(and
(instance ?O Object)
(instance ?A Region)
(holdsDuring
(WhenFn ?R)
(located ?O ?A)))))) |
Mid-level-ontology.kif 7874-7882 |
If X is an instance of position report, then X contains the formula there exist Y, Z such that Y is an instance of object, Z is an instance of region, and Y is located at Z holds during the time of existence of X |
(=>
(instance ?OPINION LegalOpinion)
(exists (?DECISION ?TEXT ?FORM)
(and
(instance ?DECISION LegalDecision)
(result ?DECISION ?TEXT)
(containsFormula ?TEXT ?FORM)
(conclusion ?OPINION ?FORM)))) |
Mid-level-ontology.kif 17820-17827 |
If X is an instance of legal opinion, then there exist Y, Z, W such that Y is an instance of legal decision, Z is a result of Y, Z contains the formula W, and the conclusion of argument X is W |
(=>
(and
(instance ?S LegalSummons)
(patient ?S ?O)
(destination ?S ?P))
(exists (?C ?T)
(and
(instance ?C CourtRoom)
(containsFormula ?S
(modalAttribute
(holdsDuring ?T
(located ?O ?C)) Law))))) |
Mid-level-ontology.kif 17860-17872 |
If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law |
(=>
(and
(instance ?TEXT BirthCertificate)
(instance ?B Birth)
(instance ?A Human)
(experiencer ?B ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N)
(and
(birthdate ?A ?DAY)
(instance ?DAY Day)
(birthplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name))))) |
Biography.kif 256-270 |
If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name |
(=>
(and
(instance ?TEXT DeathCertificate)
(instance ?D Death)
(instance ?A Human)
(experiencer ?D ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N ?PROC)
(and
(deathdate ?A ?DAY)
(instance ?DAY Day)
(deathplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name)
(causes ?PROC ?D)
(instance ?PROC Process))))) |
Biography.kif 287-303 |
If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process |
(=>
(and
(instance ?TEXT MarriageCertificate)
(instance ?A Human)
(instance ?B Human)
(spouse ?A ?B))
(containsFormula ?TEXT
(exists (?DAY)
(and
(weddingdate ?A ?B ?DAY)
(instance ?DAY Day))))) |
Biography.kif 315-325 |
If X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W is an instance of day |
(=>
(bidPrice ?Obj ?Money ?Agent)
(exists (?Offering)
(and
(instance ?Offering Offering)
(containsFormula ?Offering
(exists (?Buying)
(and
(instance ?Buying Buying)
(agent ?Buying ?Agent)
(patient ?Buying ?Obj)
(transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1958-1969 |
If X bids Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of buying, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
(=>
(askPrice ?Obj ?Money ?Agent)
(exists (?Offering)
(and
(instance ?Offering Offering)
(containsFormula ?Offering
(exists (?Selling)
(and
(instance ?Selling Selling)
(agent ?Selling ?Agent)
(patient ?Selling ?Obj)
(transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1980-1991 |
If X asks for Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of selling, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
(=>
(instance ?Title Title)
(exists (?Property ?Agent)
(containsFormula ?Title
(possesses ?Agent ?Property)))) |
FinancialOntology.kif 3990-3993 |
If X is an instance of title, then there exist Y and Z such that X contains the formula Z possesses Y |
(=>
(instance ?CONST Constitution)
(exists (?FORMULA ?PART)
(and
(instance ?FORMULA Formula)
(containsFormula ?PART ?FORMULA)
(instance ?PART Proposition)
(subProposition ?PART ?CONST)
(modalAttribute ?FORMULA Obligation)))) |
Government.kif 617-625 |
If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation |
(=>
(instance ?CONST Constitution)
(exists (?FORMULA ?PART)
(and
(instance ?FORMULA Formula)
(containsFormula ?PART ?FORMULA)
(instance ?PART Proposition)
(subProposition ?PART ?CONST)
(modalAttribute ?FORMULA Permission)))) |
Government.kif 627-635 |
If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission |
(=>
(and
(instance ?POLICY SmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE1)
(and
(instance ?SMOKE1 Smoking)
(located ?SMOKE1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE2)
(and
(instance ?SMOKE2 Smoking)
(located ?SMOKE2 ?LOC))) Prohibition)))) |
Hotel.kif 2507-2523 |
If X is an instance of smoking policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of smoking and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of smoking and W is located at Y has the modal force of prohibition |
(=>
(and
(instance ?POLICY PetPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?PET1)
(and
(instance ?PET1 DomesticAnimal)
(located ?PET1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?PET2)
(and
(instance ?PET2 DomesticAnimal)
(located ?PET2 ?LOC))) Prohibition)))) |
Hotel.kif 2530-2546 |
If X is an instance of pet policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of domestic animal and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of domestic animal and W is located at Y has the modal force of prohibition |
(=>
(and
(instance ?POLICY ChildrenPolicy)
(policyOwner ?AGENT ?POLICY)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?CUST1)
(and
(customer ?CUST1 ?AGENT)
(instance ?CUST1 HumanChild))) Possibility))
(containsFormula ?POLICY
(not
(modalAttribute
(exists (?CUST2)
(and
(customer ?CUST2 ?AGENT)
(instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2553-2571 |
If X is an instance of children policy, Y enacts policy X, and X covers Z, then X contains the formula the statement there exists W such that Y is a customer of W and W is an instance of human child has the modal force of possibility or X contains the formula the statement there doesn't exist V such that Y is a customer of V and V is an instance of human child doesn't have the modal force of possibility |
(=>
(holdsDuring ?T1
(prohibits ?A ?F))
(exists (?S ?B ?P)
(and
(instance ?S Stating)
(during
(WhenFn ?S) ?T1)
(agent ?S ?A)
(containsFormula ?S
(=>
(causes
(agent ?P ?B)
(truth ?F True))
(punishes ?A ?B)))))) |
Law.kif 65-78 |
If X prohibits Y holds during Z, then there exist W, V, U such that W is an instance of stating, the time of existence of W takes place during Z, X is an agent of W, and W contains the formula V is an agent of U causes Y is trueX punishes V |
(=>
(trusts ?A1 ?A2 ?P)
(believes ?A1
(=>
(and
(instance ?S Stating)
(containsFormula ?S
(and
(instance ?PI ?P)
(agent ?PI ?A2))))
(modalAttribute
(and
(instance ?PI ?P)
(agent ?PI ?A2)) Likely)))) |
Law.kif 382-396 |
If X trusts Y will do Z, then X believes W is an instance of stating, W contains the formula V is an instance of Z, Y is an agent of Vthe statement V is an instance of Z, and Y is an agent of V has the modal force of likely |
(=>
(and
(instance ?M Misdiagnosing)
(agent ?M ?D)
(refers ?M ?P)
(instance ?P Human))
(exists (?DIS)
(and
(containsFormula ?M
(attribute ?P ?DIS))
(instance ?DIS DiseaseOrSyndrome)
(believes ?D
(attribute ?P ?DIS))
(truth
(attribute ?P ?DIS) False)))) |
Medicine.kif 4232-4247 |
If X is an instance of misdiagnosing, Y is an agent of X, X includes a reference to Z, and Z is an instance of human, then there exists W such that X contains the formula W is an attribute of Z, W is an instance of disease or syndrome, Y believes W is an attribute of Z, and W is an attribute of Z is false |
(=>
(and
(instance ?P Encoding)
(agent ?P ?A))
(exists (?CODE)
(or
(knows ?A ?CODE)
(exists (?OBJ)
(and
(instrument ?P ?OBJ)
(containsFormula ?OBJ ?CODE)))))) |
QoSontology.kif 2293-2303 |
If X is an instance of encoding and Y is an agent of X, then there exists Z such that Y knows Z or there exists W such that W is an instrument for X and W contains the formula Z |
(=>
(and
(instance ?P Decoding)
(agent ?P ?A))
(exists (?CODE)
(or
(knows ?A ?CODE)
(exists (?OBJ)
(and
(instrument ?P ?OBJ)
(containsFormula ?OBJ ?CODE)))))) |
QoSontology.kif 2305-2315 |
If X is an instance of decoding and Y is an agent of X, then there exists Z such that Y knows Z or there exists W such that W is an instrument for X and W contains the formula Z |
(=>
(visitorParameter ?VISITOR ?FORMULA ?SITE)
(exists (?PROFILE)
(and
(instance ?PROFILE VisitorProfile)
(containsFormula ?PROFILE ?FORMULA)))) |
UXExperimentalTerms.kif 1187-1192 |
If X is known about Y who visits Z, then there exists W such that W is an instance of visitor profile and W contains the formula X |
(=>
(instance ?BEST_OFFER BestOffering)
(exists (?OBJECT ?MONEY1 ?U)
(and
(containsFormula ?BEST_OFFER
(exists (?BUYING ?AGENT)
(and
(instance ?BUYING Buying)
(agent ?BUYING ?AGENT)
(patient ?BUYING ?OBJECT)
(transactionAmount ?BUYING
(MeasureFn ?MONEY1 ?U)))))
(not
(exists (?OFFER2)
(containsFormula ?OFFER2
(exists (?BUYING2 ?AGENT2 ?MONEY2)
(and
(instance ?BUYING2 Buying)
(agent ?BUYING2 ?AGENT2)
(patient ?BUYING2 ?OBJECT)
(transactionAmount ?BUYING2
(MeasureFn ?MONEY2 ?U))
(greaterThan ?MONEY2 ?MONEY1))))))))) |
UXExperimentalTerms.kif 1654-1676 |
If ?BEST_OFFER is an instance of best offer, then there exist Y, Z and W such that ?BEST_OFFER contains the formula there exist V and U such that V is an instance of buying and U is an agent of V and Y is a patient of V and Z W(s) is a transaction amount of V and there doesn't exist T such that T contains the formula there exist S, R and Q such that S is an instance of buying and R is an agent of S and Y is a patient of S and Q W(s) is a transaction amount of S and Q is greater than Z |
(=>
(and
(instance ?EXP Experimenting)
(agent ?EXP ?A))
(exists (?FORM)
(and
(containsFormula ?EXP ?FORM)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?EXP))
(knows ?A ?FORM))))) |
UXExperimentalTerms.kif 3797-3807 |
If X is an instance of experimenting and Y is an agent of X, then there exists Z such that X contains the formula Z and Y knows Z holds during immediately after the time of existence of X |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
statement
|
|
|
(exists (?FORMULA)
(and
(instance ?FORMULA Formula)
(containsFormula ImmigrationAndNationalityAct_US ?FORMULA)
(modalAttribute ?FORMULA Law))) |
Government.kif 2372-2376 |
There exists X such that X is an instance of formula, immigration and nationality act_US contains the formula X, and the statement X has the modal force of law |
(exists (?FORMULA)
(and
(instance ?FORMULA Formula)
(containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA)
(modalAttribute ?FORMULA Law))) |
Government.kif 2379-2383 |
There exists X such that X is an instance of formula, immigration and nationality act- section219-US contains the formula X, and the statement X has the modal force of law |
(exists (?FORMULA1 ?FORMULA2)
(and
(instance ?FORMULA1 Formula)
(containsFormula ImmigrationAndNationalityAct_US ?FORMULA1)
(instance ?FORMULA2 Formula)
(containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA2)
(entails ?FORMULA1 ?FORMULA2))) |
Government.kif 2385-2391 |
There exist X, Y such that X is an instance of formula, immigration and nationality act_US contains the formula X, Y is an instance of formula, immigration and nationality act- section219-US contains the formula Y, and X entails Y |
(exists (?FORMULA)
(and
(instance ?FORMULA Formula)
(containsFormula AntiterrorismAndEffectiveDeathPenaltyAct ?FORMULA)
(modalAttribute ?FORMULA Law))) |
Government.kif 2395-2399 |
There exists X such that X is an instance of formula, antiterrorism and effective death penalty act contains the formula X, and the statement X has the modal force of law |
(exists (?FORMULA)
(and
(instance ?FORMULA Formula)
(containsFormula AmericansWithDisabilitiesAct_US ?FORMULA)
(modalAttribute ?FORMULA Law))) |
Medicine.kif 3176-3180 |
There exists X such that X is an instance of formula, ADA contains the formula X, and the statement X has the modal force of law |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
