Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| attribute |
| appearance as argument number 1 |
|
| (instance attribute IrreflexiveRelation) | Merge.kif 1808-1808 | attribute is an instance of irreflexive relation |
| (instance attribute TotalValuedRelation) | Merge.kif 1809-1809 | attribute is an instance of total valued relation |
| (instance attribute BinaryPredicate) | Merge.kif 1810-1810 | attribute is an instance of binary predicate |
| (subrelation attribute property) | Merge.kif 1811-1811 | attribute is a subrelation of property |
| (domain attribute 1 Object) | Merge.kif 1812-1812 | The number 1 argument of attribute is an instance of object |
| (domain attribute 2 Attribute) | Merge.kif 1813-1813 | The number 2 argument of attribute is an instance of attribute |
| (documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") | Merge.kif 1815-1817 | The number 2 argument of attribute is an instance of attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR)) |
Merge.kif 1133-1138 | If X is an instance of substance, Y is an attribute of X, and Z is a piece of X, then Y is an attribute of Z |
| (<=> (holdsDuring ?TIME (attribute ?AGENT LegalPersonhood)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 1695-1701 | Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y |
| (=> (and (instance ?X ?CLASS) (attribute ?X ?ATTR)) (instance ?X (AttrFn ?CLASS ?ATTR))) |
Merge.kif 1888-1893 | If X is an instance of Y and Z is an attribute of X, then X is an instance of the attr of Y and Z |
| (=> (and (capability ?PROCESS ?ROLE ?OBJ) (instance ?OBJ Device) (not (attribute ?OBJ DeviceDamaged))) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?ROLE ?P ?OBJ))) Possibility)) |
Merge.kif 4020-4030 | If X is capable of doing Y as a Z, X is an instance of device, and device damaged is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of possibility |
| (=> (attribute ?C Circle) (exists (?R) (radius ?C ?R))) |
Merge.kif 7786-7789 | If circle is an attribute of X, then there exists Y such that the radius of X is Y |
| (=> (attribute ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7791-7794 | If circle is an attribute of X, then there exists Y such that equal the center of circle of X and Y |
| (=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 10187-10192 | If fillable is an attribute of X, then there exists Y such that Y is an instance of hole and X is a part of Y |
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10259-10264 | If X fills Y and fillable is an attribute of Z, then X and Z doesn't overlapsSpatially |
| (=> (and (attribute ?W Windy) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0)) |
Merge.kif 11545-11553 | If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
| (=> (attribute ?X Flammable) (capability Combustion patient ?X)) |
Merge.kif 12878-12880 | If flammable is an attribute of X, then X is capable of doing burning as a patient |
| (=> (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 13920-13934 | If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent |
| (=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)))) |
Merge.kif 13972-13978 | If illuminated is an attribute of X, then there exists Y such that Y is an instance of radiating light, X is a patient of Y, and X is an instance of region |
| (=> (attribute ?L Liquid) (capability Boiling patient ?L)) |
Merge.kif 14252-14254 | If liquid is an attribute of X, then X is capable of doing boiling as a patient |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16846-16850 | If X is a parent of Y and male is an attribute of X, then X is a father of Y |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16852-16856 | If X is a parent of Y and female is an attribute of X, then X is a mother of Y |
| (=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human)) |
Merge.kif 17594-17598 | If X is an attribute of Y and X is an instance of social role, then Y is an instance of human |
| (=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17933-17937 | If X is an instance of physical state and X is an attribute of Y, then Y is an instance of substance |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17951-17958 | If X is an instance of substance and At least one of the following holds: (1) gas is an attribute of X (2) liquid is an attribute of X (3) plasma is an attribute of X, then fluid is an attribute of X |
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 18045-18054 | If monochromatic is an attribute of X, Y is a superficial part of X, Z is an attribute of Y, and Z is an instance of primary color, then For all Object W: if W is a superficial part of X, then Z is an attribute of W |
| (=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorAttribute) (instance ?COLOR2 ColorAttribute) (not (equal ?COLOR1 ?COLOR2))))) |
Merge.kif 18067-18077 | If polychromatic is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a superficial part of X (3) Z is a superficial part of X (4) W is an attribute of Y (5) V is an attribute of Z (6) W is an instance of color attribute (7) V is an instance of color attribute (8) equal W (9) V |
| (=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 18093-18098 | If X is an instance of shape attribute, X is an attribute of Y, and Z is a surface of Y, then X is an attribute of Z |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 18103-18110 | If X is an instance of object and pliable is an attribute of X, then there exists Y such that Y is an instance of shape change and X is a patient of Y |
| (=> (and (instance ?ATTRIBUTE TextureAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 18121-18126 | If X is an instance of texture attribute, X is an attribute of Y, and Z is a surface of Y, then X is an attribute of Z |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18335-18341 | If dry is an attribute of X, then there doesn't exist Y such that Y is a part of X and liquid is an attribute of Y |
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18353-18361 | If wet is an attribute of X, then For all Object Y: if Y is a part of X, then there exists Z such that Z is a part of Y and liquid is an attribute of Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR)) |
Merge.kif 1133-1138 | If X is an instance of substance, Y is an attribute of X, and Z is a piece of X, then Y is an attribute of Z |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1711-1713 | If X is a leader of Y holds during Z, then living is an attribute of X holds during Z |
| (=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR))) |
Merge.kif 1871-1879 | If equal X, the attr of Y, and Z and W is an instance of X, then W is an instance of Y, X is a subclass of Y, and Z is an attribute of W |
| (=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (attribute ?X ?ATTR))) |
Merge.kif 1881-1886 | If X is an instance of the attr of Y and Z, then X is an instance of Y and Z is an attribute of X |
| (=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR)))) |
Merge.kif 3959-3964 | If X is a copy of Y, then For all Attribute Z: if Z is an attribute of X, then Z is an attribute of Y |
| (=> (equal ?P (CenterOfCircleFn ?C)) (attribute ?C Circle)) |
Merge.kif 7804-7807 | If equal X and the center of circle of Y, then circle is an attribute of Y |
| (=> (radius ?CIRCLE ?RADIUS) (attribute ?CIRCLE Circle)) |
Merge.kif 7828-7830 | If the radius of X is Y, then circle is an attribute of X |
| (=> (diameter ?CIRCLE ?LENGTH) (attribute ?CIRCLE Circle)) |
Merge.kif 7849-7851 | If the diameter of X is Y, then circle is an attribute of X |
| (=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable)) |
Merge.kif 10182-10185 | If X fills Y holds during Z, then fillable is an attribute of Y |
| (=> (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)) (attribute ?HOLE1 Fillable)) |
Merge.kif 10194-10198 | If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y |
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10450-10469 | If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
| (=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10512-10516 | If X is an instance of eating and Y is a resource for X, then solid is an attribute of Y |
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10523-10527 | If X is an instance of drinking and Y is a resource for X, then liquid is an attribute of Y |
| (=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE)))) |
Merge.kif 10641-10649 | If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z |
| (=> (pathologicSymptom ?D ?S) (exists (?O) (increasesLikelihood (attribute ?O ?D) (exists (?I) (and (instance ?I ?S) (experiencer ?I ?O)))))) |
Merge.kif 10661-10669 | If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W |
| (=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10750-10755 | If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11478-11482 | If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y |
| (=> (and (instance ?MOTION GasMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Gas)) |
Merge.kif 11502-11506 | If X is an instance of gas motion and Y is a patient of X, then gas is an attribute of Y |
| (=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11714-11722 | If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12591-12597 | If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?CHANGE InternalChange) (patient ?CHANGE ?OBJ)) (exists (?PROPERTY) (or (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?CHANGE)) (attribute ?OBJ ?PROPERTY)))))) |
Merge.kif 12889-12900 | If X is an instance of internal change and Y is a patient of X, then there exists Z such that Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X |
| (=> (and (instance ?ALT SurfaceChange) (patient ?ALT ?OBJ)) (exists (?PART ?PROPERTY) (and (superficialPart ?PART ?OBJ) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY))))))) |
Merge.kif 12906-12919 | If X is an instance of surface change and Y is a patient of X, then there exist Z and W such that Z is a superficial part of Y and W is an attribute of Z holds during the beginning of the time of existence of X and W is not an attribute of Z holds during the end of the time of existence of X or W is not an attribute of Z holds during the beginning of the time of existence of X and W is an attribute of Z holds during the end of the time of existence of X |
| (=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY ?PART) (and (part ?PART ?OBJ) (instance ?PROPERTY ColorAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?COLORING)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?COLORING)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?COLORING)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?COLORING)) (attribute ?PART ?PROPERTY))))))) |
Merge.kif 12926-12940 | If X is an instance of coloring and Y is a patient of X, then there exist Z and W such that W is a part of Y and Z is an instance of color attribute and Z is an attribute of W holds during the beginning of the time of existence of X and Z is not an attribute of W holds during the end of the time of existence of X or Z is not an attribute of W holds during the beginning of the time of existence of X and Z is an attribute of W holds during the end of the time of existence of X |
| (=> (and (instance ?ALT ShapeChange) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12946-12959 | If X is an instance of shape change and Y is a patient of X, then there exists Z such that Z is an instance of shape attribute and Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X |
| (=> (instance ?WET Wetting) (exists (?OBJ) (and (patient ?WET ?OBJ) (holdsDuring (BeginFn (WhenFn ?WET)) (not (attribute ?OBJ Damp))) (holdsDuring (EndFn (WhenFn ?WET)) (attribute ?OBJ Damp))))) |
Merge.kif 13041-13054 | If X is an instance of wetting, then there exists Y such that Y is a patient of X, damp is not an attribute of Y holds during the beginning of the time of existence of X, and damp is an attribute of Y holds during the end of the time of existence of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1915-1916 | There exist X and Y such that the appropriate meal for X in Y is an attribute of X |
| (exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4611-4614 | There exists X such that NewReporter is an attribute of X and Pro Publica Inc. employs X |
| (equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1136-1145 | equal the available for military service male of X and the number of instances in the class described by Y |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1159-1170 | equal the fit for military service male of X and the number of instances in the class described by Y |
| (equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1197-1210 | equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z |
| (and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 490-503 | X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W |
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 762-768 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?PROCESSTYPE is a biochemical agent delivery of ?AGENT, ?PROCESS is an instance of ?PROCESSTYPE, and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
| (decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 916-924 | ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS, ?SAMPLE is an instance of ?SUBSTANCE, ?THERAPY is an instance of ?PROCESS, ?ORGANISM experiences ?THERAPY, and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM |
| appearance as argument number 0 |
|
|
|