| appearance as argument number 1 |
|
| (instance refers BinaryPredicate) | Merge.kif 4462-4462 | refers is an instance of binary predicate |
| (domain refers 1 Entity) | Merge.kif 4463-4463 | The number 1 argument of refers is an instance of entity |
| (domain refers 2 Entity) | Merge.kif 4464-4464 | The number 2 argument of refers is an instance of entity |
| (documentation refers EnglishLanguage "(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.") | Merge.kif 4466-4474 | The number 2 argument of refers is an instance of entity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 2953-2961 | If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W |
| (=> (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 951-966 | If X is an instance of duty tax, X includes a reference to Y, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) Y is a patient of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) the time of existence of Z happens earlier than the time of existence of X (11) Z causes X |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely)) |
Medicine.kif 1845-1855 | If X is an instance of electrocardiogram, normal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is not an attribute of Z has the modal force of likely |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely)) |
Medicine.kif 1862-1871 | If X is an instance of electrocardiogram, abnormal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is an attribute of Z 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 4194-4209 | 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 Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist)))) |
Mid-level-ontology.kif 10647-10657 | If X is an instance of prescription, Y is an instance of medicine, and X includes a reference to Y, then there exist Z, W such that W is an instance of selling, the object transferred in W is Y, Z is an agent of W, and pharmacist is an attribute of W |
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 17740-17752 | If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then X allows Z to perform task of the type there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U |
| (=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT)) |
UXExperimentalTerms.kif 4151-4156 | If the definition of a treated page in X is Y, Z is an instance of web page, and Y includes a reference to Z, then Z is the object of study of X |
| consequent |
|
|
| (=> (instance ?A Aqiqah) (exists (?BIRTH) (and (refers ?A ?BIRTH) (earlier (WhenFn ?BIRTH) (WhenFn ?A))))) |
ArabicCulture.kif 333-338 | If X is an instance of aqiqah, then there exists Y such that X includes a reference to Y and the time of existence of Y happens earlier than the time of existence of X |
| (=> (instance ?COMMENT DigitalComment) (exists (?POST) (and (instance ?POST DigitalPost) (refers ?COMMENT ?POST)))) |
ComputerInput.kif 2864-2869 | If X is an instance of digital comment, then there exists Y such that Y is an instance of digital post and X includes a reference to Y |
| (=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (refers ?AID ?E)))) |
ComputingBrands.kif 2025-2030 | If X is an instance of Apple ID, then there exists Y such that Y is an instance of email address and X includes a reference to Y |
| (=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D)))) |
ComputingBrands.kif 2295-2300 | If X is an instance of calendar, then there exists Y such that Y is an instance of day and X includes a reference to Y |
| (=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram))))) |
ComputingBrands.kif 3074-3081 | If X is an instance of computer desktop image, then X has the purpose X includes a reference to Y and Y is an instance of digital data or Y is an instance of computer program |
| (=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT)))) |
Dining.kif 130-150 | If All of the following hold: (1) X is a customer of Y (2) X charges Z in corkage for W (3) V is an instance of W (4) there doesn't exist U such that U is an instance of buying, V is a patient of U, U ends up at Y, and U originates at X (5) T is an instance of drinking (6) Y is an agent of T (7) V is a resource for T, then there exists S such that S is an instance of corkage, Y is an agent of S, S includes a reference to V, and S ends up at X |
| (=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity))))) |
Economy.kif 2067-2077 | If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity |
| (=> (and (instance ?UPDATE_EVENT StatusUpdate) (agent ?UPDATE_EVENT ?WRITER) (result ?UPDATE_EVENT ?CONTENT)) (refers ?CONTENT ?WRITER)) |
Facebook.kif 237-242 | If ?UPDATE_EVENT is an instance of status update, Y is an agent of ?UPDATE_EVENT, and Z is a result of ?UPDATE_EVENT, then Z includes a reference to Y |
| (=> (instance ?WALLPOST WallPost) (exists (?USER1 ?USER2 ?CREATION ?PROFILEWALL) (and (instance ?PROFILEWALL ProfileWall) (instance ?USER1 FacebookUser) (instance ?USER2 FacebookUser) (instance ?CREATION Creation) (refers ?PROFILEWALL ?USER2) (agent ?CREATION ?USER1) (result ?CREATION ?WALLPOST) (located ?WALLPOST ?PROFILEWALL) (not (equal ?USER1 ?USER2))))) |
Facebook.kif 266-279 | If X is an instance of wall post, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of profile wall (3) Y is an instance of Facebook user (4) Z is an instance of Facebook user (5) W is an instance of creation (6) V includes a reference to Z (7) Y is an agent of W (8) X is a result of W (9) X is located at V (10) equal Y (11) Z |
| (=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P)))) |
Justice.kif 87-96 | If X is an instance of human and criminal is an attribute of X, then there exist Y, Z such that Y is an instance of criminal action, Z is an instance of legal conviction, Z includes a reference to Y, and X is a patient of Z |
| (=> (evidence ?LA ?P) (exists (?A ?PROP) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 180-188 | If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z |
| (=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))) |
Law.kif 275-286 | If X is the defense lawyer in Y and Z is the defendant in Y, then X desires there doesn't exist W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 299-309 | If X is the prosecutor in Y and Z is the defendant in Y, then X desires there exists W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W |
| (=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A))))) |
Law.kif 507-521 | If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V |
| (=> (instance ?VC VaccinationCard) (exists (?V) (and (instance ?V Vaccination) (refers ?VC ?V)))) |
Medicine.kif 3097-3102 | If X is an instance of VaccinationCard, then there exists Y such that Y is an instance of vaccination and X includes a reference to Y |
| (=> (instance ?PS PayStub) (exists (?FT ?O ?E) (and (instance ?FT FinancialTransaction) (origin ?FT ?O) (destination ?FT ?E) (refers ?PS ?FT)))) |
Medicine.kif 3378-3385 | If X is an instance of paystub, then there exist Y, Z, W such that Y is an instance of financial transaction, Y originates at Z, Y ends up at W, and X includes a reference to Y |
| (=> (instance ?DECISION LegalDecision) (exists (?ACTION) (and (instance ?ACTION LegalAction) (refers ?DECISION ?ACTION)))) |
Merge.kif 10952-10957 | If X is an instance of legal decision, then there exists Y such that Y is an instance of legal action and X includes a reference to Y |
| (=> (instance ?COMMUNICATE Communication) (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2) (and (refers ?PHYS ?ENTITY) (patient ?COMMUNICATE ?PHYS) (instance ?AGENT1 CognitiveAgent) (agent ?COMMUNICATE ?AGENT1) (instance ?AGENT2 CognitiveAgent) (destination ?COMMUNICATE ?AGENT2)))) |
Merge.kif 13221-13230 | If X is an instance of communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V |
| (=> (instance ?ADVERT Advertising) (exists (?OBJ) (and (refers ?ADVERT ?OBJ) (hasPurpose ?ADVERT (exists (?SALE) (and (instance ?SALE Selling) (patient ?SALE ?OBJ))))))) |
Merge.kif 13277-13282 | If X is an instance of advertising, then there exists Y such that X includes a reference to Y, X has the purpose there exists Z such that Z is an instance of selling, and Y is a patient of Z |
| (=> (instance ?ANSWER Answering) (exists (?QUESTION) (and (instance ?QUESTION Questioning) (refers ?ANSWER ?QUESTION) (earlier (WhenFn ?QUESTION) (WhenFn ?ANSWER))))) |
Mid-level-ontology.kif 894-900 | If X is an instance of answering, then there exists Y such that Y is an instance of questioning, X includes a reference to Y, and the time of existence of Y happens earlier than the time of existence of X |
| (=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C)) |
Mid-level-ontology.kif 8338-8351 | If X is an instance of health insurance company and Y is a customer of X, then X has the purpose there exist Z, W such that Z is an instance of diagnostic process or Z is an instance of therapeutic process, Y experiences Z, W is an instance of payment, X is an agent of W, and W includes a reference to Z for Y |
| (=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M)))) |
Mid-level-ontology.kif 10640-10645 | If X is an instance of prescription, then there exists Y such that Y is an instance of medicine and X includes a reference to Y |
| (=> (attribute ?X USPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 10665-10677 | If prescription drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of illegal |
| (=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 10687-10699 | If OTC drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of legal |
| (=> (instance ?C Congratulating) (exists (?P ?A ?D) (and (destination ?C ?D) (agent ?P ?D) (agent ?C ?A) (wants ?A ?P) (refers ?C ?P)))) |
Mid-level-ontology.kif 14455-14463 | If X is an instance of congratulating, then there exist Y, Z, W such that X ends up at W, W is an agent of Y, Z is an agent of X, Z wants Y, and X includes a reference to Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners