Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| refers |
| appearance as argument number 1 |
|
| s__instance(s__refers,s__BinaryPredicate)
|
Merge.kif 4524-4524 | refers is an instance of binary predicate |
| s__domain(s__refers,n__1,s__Entity)
|
Merge.kif 4525-4525 | The number 1 argument of refers is an instance of entity |
| s__domain(s__refers,n__2,s__Entity)
|
Merge.kif 4526-4526 | The number 2 argument of refers is an instance of entity |
| s__documentation(s__refers, s__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 4528-4536 | The number 2 argument of refers is an instance of entity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__P,V__M] : (((s__instance(V__P,s__Prescription) & s__instance(V__M,s__Medicine) & s__refers(V__P,V__M)) => (? [V__PHARM,V__S] : ((s__instance(V__PHARM,s__AutonomousAgent) & (s__instance(V__S,s__Selling) & s__objectTransferred(V__S,V__M) & s__agent(V__S,V__PHARM) & s__attribute(V__S,s__Pharmacist)))))) )
|
Mid-level-ontology.kif 10783-10793 | 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 |
| ! [V__ACTION : $i,V__AWARD : $i,V__PLAINTIFF : $i] : (((s__instance(V__AWARD, s__LegalAward) & s__refers(V__AWARD, V__ACTION) & s__instance(V__ACTION, s__LegalAction) & s__agent(V__ACTION, V__PLAINTIFF)) => s__confersRight(V__AWARD, V__PLAINTIFF, ( ? [V__GET:$i, V__OBJ:$i, V__VALUE:$i] : ((s__instance(V__GET, s__Getting) & s__experiencer(V__GET, V__PLAINTIFF) & s__patient(V__GET, V__OBJ) & s__monetaryValue(V__OBJ, V__VALUE))))))) | Mid-level-ontology.kif 17833-17845 | 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 Z allows 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 to perform task of the type X |
| ! [V__P,V__PROG,V__FQ] : (((s__instance(V__P,s__ComputerProcess) & s__instance(V__PROG,s__ComputerProgram)) => ((s__instance(V__FQ,s__ForceQuit) & s__refers(V__FQ,V__P) & s__programRunning(V__P,V__PROG)) => (? [V__A] : ((s__instance(V__A,s__Abort) & s__processAborted(V__A,V__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 |
| ! [V__X,V__OBJ] : (((s__instance(V__X,s__DutyTax) & s__refers(V__X,V__OBJ) & s__patient(V__X,V__OBJ)) => (? [V__T,V__N1,V__N2] : ((s__instance(V__T,s__Transfer) & s__patient(V__T,V__OBJ) & s__origin(V__T,V__N1) & s__destination(V__T,V__N2) & s__instance(V__N1,s__Nation) & s__instance(V__N2,s__Nation) & ~((V__N1 = V__N2)) & s__earlier(s__WhenFn(V__T) ,s__WhenFn(V__X)) & s__causes(V__T,V__X))))) )
|
FinancialOntology.kif 971-986 | 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 |
| ! [V__EKG : $i,V__H : $i,V__P : $i] : (((s__instance(V__EKG, s__Electrocardiogram) & s__attribute(V__EKG, s__EKGNormal) & s__refers(V__EKG, V__H) & s__part(V__H, V__P) & s__instance(V__H, s__Heart)) => s__modalAttribute(~(s__attribute(V__P, s__ImpairedBodyPartFn(s__Heart))), s__Likely))) | Medicine.kif 1849-1859 | 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 |
| ! [V__EKG : $i,V__H : $i,V__P : $i] : (((s__instance(V__EKG, s__Electrocardiogram) & s__attribute(V__EKG, s__EKGAbnormal) & s__refers(V__EKG, V__H) & s__part(V__H, V__P) & s__instance(V__H, s__Heart)) => s__modalAttribute(s__attribute(V__P, s__ImpairedBodyPartFn(s__Heart)), s__Likely))) | Medicine.kif 1866-1875 | 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 |
| ! [V__D : $i,V__M : $i,V__P : $i] : (((s__instance(V__M, s__Misdiagnosing) & s__agent(V__M, V__D) & s__refers(V__M, V__P) & s__instance(V__P, s__Human)) => ( ? [V__DIS:$i] : ((s__containsFormula(V__M, s__attribute(V__P, V__DIS)) & s__instance(V__DIS, s__DiseaseOrSyndrome) & s__believes(V__D, s__attribute(V__P, V__DIS)) & s__truth(s__attribute(V__P, V__DIS), '$false__m')))))) | 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 |
| consequent |
|
|
| ! [V__DECISION] : ((s__instance(V__DECISION,s__LegalDecision) => (? [V__ACTION] : ((s__instance(V__ACTION,s__LegalAction) & s__refers(V__DECISION,V__ACTION))))) )
|
Merge.kif 11041-11046 | 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 |
| ! [V__COMMUNICATE] : ((s__instance(V__COMMUNICATE,s__Communication) => (? [V__PHYS,V__ENTITY,V__AGENT1,V__AGENT2] : ((s__refers(V__PHYS,V__ENTITY) & s__patient(V__COMMUNICATE,V__PHYS) & s__instance(V__AGENT1,s__CognitiveAgent) & s__agent(V__COMMUNICATE,V__AGENT1) & s__instance(V__AGENT2,s__CognitiveAgent) & s__destination(V__COMMUNICATE,V__AGENT2))))) )
|
Merge.kif 13343-13352 | 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 |
| ! [V__ADVERT : $i] : ((s__instance(V__ADVERT, s__Advertising) => ( ? [V__OBJ:$i] : ((s__refers(V__ADVERT, V__OBJ) & s__hasPurpose(V__ADVERT, ( ? [V__SALE:$i] : ((s__instance(V__SALE, s__Selling) & s__patient(V__SALE, V__OBJ)))))))))) | Merge.kif 13400-13405 | 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 |
| ! [V__ANSWER] : ((s__instance(V__ANSWER,s__Answering) => (? [V__QUESTION] : ((s__instance(V__QUESTION,s__Questioning) & s__refers(V__ANSWER,V__QUESTION) & s__earlier(s__WhenFn(V__QUESTION) ,s__WhenFn(V__ANSWER)))))) )
|
Mid-level-ontology.kif 888-894 | 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 |
| ! [V__P] : ((s__instance(V__P,s__Prescription) => (? [V__M] : ((s__instance(V__M,s__Medicine) & s__refers(V__P,V__M))))) )
|
Mid-level-ontology.kif 10776-10781 | 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 |
| ! [V__X : $i] : ((s__attribute(V__X, s__USPrescriptionDrug) => s__modalAttribute(( ? [V__B:$i] : ((s__instance(V__B, s__Buying) & s__objectTransferred(V__B, V__X) & ~(( ? [V__P:$i] : ((s__instance(V__P, s__Prescription) & s__refers(V__P, V__X)))))))), s__Illegal))) | Mid-level-ontology.kif 10801-10813 | 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 |
| ! [V__X : $i] : ((s__attribute(V__X, s__USNonPrescriptionDrug) => s__modalAttribute(( ? [V__B:$i] : ((s__instance(V__B, s__Buying) & s__objectTransferred(V__B, V__X) & ~(( ? [V__P:$i] : ((s__instance(V__P, s__Prescription) & s__refers(V__P, V__X)))))))), s__Legal))) | Mid-level-ontology.kif 10823-10835 | 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 |
| ! [V__C] : ((s__instance(V__C,s__Congratulating) => (? [V__P,V__A,V__D] : ((s__instance(V__P,s__Process) & s__instance(V__A,s__CognitiveAgent) & s__instance(V__D,s__AutonomousAgent) & (s__destination(V__C,V__D) & s__agent(V__P,V__D) & s__agent(V__C,V__A) & s__wants(V__A,V__P) & s__refers(V__C,V__P)))))) )
|
Mid-level-ontology.kif 14605-14613 | 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 |
| ! [V__CHART] : ((s__instance(V__CHART,s__Chart) => (? [V__QUANTITY] : ((s__instance(V__QUANTITY,s__PhysicalQuantity) & s__refers(V__CHART,V__QUANTITY))))) )
|
Mid-level-ontology.kif 14808-14813 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
| ! [V__F] : ((s__instance(V__F,s__NationalFlag) => (? [V__N] : ((s__instance(V__N,s__Nation) & s__refers(V__F,V__N))))) )
|
Mid-level-ontology.kif 14830-14835 | If X is an instance of national flag, then there exists Y such that Y is an instance of nation and X includes a reference to Y |
| ! [V__G] : ((s__instance(V__G,s__Chart) => (? [V__Q] : ((s__instance(V__Q,s__PhysicalQuantity) & s__refers(V__G,V__Q))))) )
|
Mid-level-ontology.kif 14837-14842 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
| ! [V__LABEL] : ((s__instance(V__LABEL,s__Label) => (? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & s__connected(V__LABEL,V__OBJ) & s__refers(V__LABEL,V__OBJ))))) )
|
Mid-level-ontology.kif 16082-16088 | If X is an instance of label, then there exists Y such that Y is an instance of self connected object, X is connected to Y, and X includes a reference to Y |
| ! [V__A] : ((s__instance(V__A,s__Announcement) => (? [V__CD,V__I] : ((s__instance(V__CD,s__ContentDevelopment) & s__result(V__CD,V__A) & s__refers(V__A,V__I) & s__instance(V__I,s__SocialInteraction) & s__earlier(s__WhenFn(V__CD) ,s__WhenFn(V__I)))))) )
|
Mid-level-ontology.kif 16128-16138 | If X is an instance of announcement, then there exist Y, Z such that Y is an instance of content development, X is a result of Y, X includes a reference to Z, Z is an instance of social interaction, and the time of existence of Y happens earlier than the time of existence of Z |
| ! [V__C] : ((s__instance(V__C,s__HolidayCard) => (? [V__H] : ((s__instance(V__H,s__Holiday) & s__refers(V__C,V__H))))) )
|
Mid-level-ontology.kif 16482-16487 | If X is an instance of holiday card, then there exists Y such that Y is an instance of holiday and X includes a reference to Y |
| ! [V__B] : ((s__instance(V__B,s__Biography) => (? [V__H] : ((s__instance(V__H,s__Human) & s__refers(V__B,V__H))))) )
|
Mid-level-ontology.kif 16506-16511 | If X is an instance of biography, then there exists Y such that Y is an instance of human and X includes a reference to Y |
| ! [V__S] : ((s__instance(V__S,s__MysteryStory) => (? [V__C] : ((s__instance(V__C,s__CriminalAction) & s__refers(V__S,V__C))))) )
|
Mid-level-ontology.kif 16541-16546 | If X is an instance of mystery story, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
| ! [V__COMMENTING,V__PROCESS] : (((s__instance(V__COMMENTING,s__Commenting) & s__instance(V__PROCESS,s__Process) & s__patient(V__COMMENTING,V__PROCESS)) => (? [V__AGENT,V__SPEAKING,V__LOOKING] : ((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__SPEAKING,s__Speaking) & s__instance(V__LOOKING,s__Looking) & s__agent(V__SPEAKING,V__AGENT) & s__agent(V__LOOKING,V__AGENT) & s__patient(V__LOOKING,V__PROCESS) & s__refers(V__SPEAKING,V__PROCESS))))) )
|
Mid-level-ontology.kif 17498-17511 | If X is an instance of commenting, Y is an instance of process, 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 agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
| ! [V__F] : ((s__instance(V__F,s__Funeral) => (? [V__D] : ((s__instance(V__D,s__Death) & s__refers(V__F,V__D))))) )
|
Mid-level-ontology.kif 17615-17620 | If X is an instance of funeral, then there exists Y such that Y is an instance of death and X includes a reference to Y |
| ! [V__P] : ((s__instance(V__P,s__Pleading) => (? [V__C] : ((s__instance(V__C,s__CriminalAction) & s__refers(V__P,V__C))))) )
|
Mid-level-ontology.kif 17743-17748 | If X is an instance of pleading, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
| ! [V__CALL] : ((s__instance(V__CALL,s__GameCall) => (? [V__GAME] : ((s__instance(V__GAME,s__Game) & s__refers(V__CALL,V__GAME))))) )
|
Mid-level-ontology.kif 17914-17919 | If X is an instance of game call, then there exists Y such that Y is an instance of game and X includes a reference to Y |
| ! [V__T] : ((s__instance(V__T,s__Testament) => (? [V__B] : ((s__instance(V__B,s__Bequeathing) & s__refers(V__T,V__B))))) )
|
Mid-level-ontology.kif 18209-18214 | If X is an instance of testament, then there exists Y such that Y is an instance of bequeathing and X includes a reference to Y |
| ! [V__AS,V__P] : (((s__instance(V__AS,s__ArtSchool) & s__instance(V__P,s__EducationalProcess) & s__eventLocated(V__P,V__AS)) => (? [V__M,V__ART] : ((s__instance(V__M,s__Making) & s__patient(V__M,V__ART) & s__instance(V__ART,s__ArtWork) & s__refers(V__P,V__M))))) )
|
Mid-level-ontology.kif 18380-18390 | If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z |
| ! [V__PERSON,V__W] : ((s__instance(V__PERSON,s__AutonomousAgent) => ((s__instance(V__W,s__SickLeave) & s__agent(V__W,V__PERSON)) => (? [V__S] : ((s__instance(V__S,s__DiseaseOrSyndrome) & s__refers(V__W,V__S)))))) )
|
Mid-level-ontology.kif 22701-22708 | If X is an instance of sick leave and Y is an agent of X, then there exists Z such that Z is an instance of disease or syndrome and X includes a reference to Z |
| ! [V__H : $i] : ((s__attribute(V__H, s__NewsReporter) => s__hasPurpose(V__H, ( ? [V__EV:$i, V__T:$i, V__NEWS:$i] : ((s__instance(V__EV, s__Process) & s__overlapsTemporally(s__WhenFn(V__EV), s__WhenFn(V__H)) & s__instance(V__T, V__NEWS) & (s__subclass(V__NEWS, s__Newspaper) | s__subclass(V__NEWS, s__NewsProgram)) & s__authors(V__H, V__NEWS) & s__refers(V__T, V__EV))))))) | Mid-level-ontology.kif 23308-23322 | If news reporter is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of process (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of newspaper or W is a subclass of newsprogram (6) X is the author of W (7) Z includes a reference to Y |
| ! [V__H : $i] : ((s__attribute(V__H, s__ArtCritic) => s__hasPurpose(V__H, ( ? [V__AW:$i, V__T:$i, V__CLASS:$i] : ((s__instance(V__AW, s__ArtWork) & s__overlapsTemporally(s__WhenFn(V__AW), s__WhenFn(V__H)) & s__instance(V__T, V__CLASS) & s__subclass(V__CLASS, s__Article) & s__authors(V__H, V__CLASS) & s__refers(V__T, V__AW))))))) | Mid-level-ontology.kif 23331-23343 | If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|