Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - attribute
attribute

appearance as argument number 1
-------------------------


s__instance(s__attribute,s__IrreflexiveRelation)

 Merge.kif 1808-1808 attribute is an instance of irreflexive relation
s__instance(s__attribute,s__TotalValuedRelation)

 Merge.kif 1809-1809 attribute is an instance of total valued relation
s__instance(s__attribute,s__BinaryPredicate)

 Merge.kif 1810-1810 attribute is an instance of binary predicate
s__subrelation(s__attribute,s__property)

 Merge.kif 1811-1811 attribute is a subrelation of property
s__domain(s__attribute,n__1,s__Object)

 Merge.kif 1812-1812 The number 1 argument of attribute is an instance of object
s__domain(s__attribute,n__2,s__Attribute)

 Merge.kif 1813-1813 The number 2 argument of attribute is an instance of attribute
s__documentation(s__attribute, s__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
-------------------------


s__disjointRelation(s__manner,s__attribute)

 Merge.kif 1825-1825 manner and attribute are disjoint
s__subrelation(s__developmentalForm,s__attribute)

 Merge.kif 14634-14634 developmental form is a subrelation of attribute
s__subrelation(s__deviceState,s__attribute)

 Mid-level-ontology.kif 2455-2455 device state is a subrelation of attribute
s__subrelation(s__color,s__attribute)

 Mid-level-ontology.kif 21258-21258 color is a subrelation of attribute
s__subrelation(s__hasGUEState,s__attribute)

 ComputerInput.kif 1898-1898 has GUE state is a subrelation of attribute
s__subrelation(s__economyType,s__attribute)

 Economy.kif 86-86 economy type is a subrelation of attribute
s__subrelation(s__creditRanking,s__attribute)

 FinancialOntology.kif 2542-2542 credit ranking is a subrelation of attribute
s__subrelation(s__bondRating,s__attribute)

 FinancialOntology.kif 2551-2551 bond rating is a subrelation of attribute
s__subrelation(s__governmentType,s__attribute)

 Government.kif 130-130 government type is a subrelation of attribute
s__subrelation(s__organizationalObjective,s__attribute)

 Government.kif 2587-2587 organizational objective is a subrelation of attribute
s__subrelation(s__energyConsumptionPerWashingCycle,s__attribute)

 HouseholdAppliances.kif 1479-1479 energy consumption per washing cycle is a subrelation of attribute
s__subrelation(s__musicGenre,s__attribute)

 Music.kif 341-341 music genre is a subrelation of attribute
s__subrelation(s__hostStatus,s__attribute)

 QoSontology.kif 2233-2233 host status is a subrelation of attribute
s__subrelation(s__hasMolecularStructuralAttribute,s__attribute)

 VirusProteinAndCellPart.kif 167-167 has molecular structural attribute is a subrelation of attribute
s__termFormat(s__EnglishLanguage, s__attribute, "attribute") domainEnglishFormat.kif 65787-65787 has molecular structural attribute is a subrelation of attribute
s__format(s__EnglishLanguage, s__attribute, "%2 is %n an attribute of %1") english_format.kif 59-59 has molecular structural attribute is a subrelation of attribute

antecedent
-------------------------


! [V__ATTR,V__PART,V__OBJ] :
(((s__instance(V__ATTR,s__Attribute) &
       s__instance(V__PART,s__Substance))
     =>
     ((s__instance(V__OBJ,s__Substance) &
         s__attribute(V__OBJ,V__ATTR)
       &
       s__piece(V__PART,V__OBJ))
   =>
   s__attribute(V__PART,V__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
! [V__AGENT : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood)) => s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT)))) & (s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT))) => s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood))))) 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
! [V__X,V__CLASS,V__ATTR] :
(((s__instance(V__X,s__Object) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Object) &
       s__instance(V__ATTR,s__Attribute))
     =>
     ((s__instance(V__X,V__CLASS)
       &
       s__attribute(V__X,V__ATTR))
   =>
   s__instance(V__X,s__AttrFn(V__CLASS,V__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
! [V__OBJ : $i,V__PROCESS : $i,V__ROLE : $i] : (((s__capability(V__PROCESS, V__ROLE, V__OBJ) & s__instance(V__OBJ, s__Device) & ~(s__attribute(V__OBJ, s__DeviceDamaged))) => s__modalAttribute(( ? [V__P:$i] : ((s__instance(V__P, V__PROCESS) & s__?ROLE(V__P, V__OBJ)))), s__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
! [V__C] :
(((s__instance(V__C,s__ClosedTwoDimensionalFigure) &
       s__instance(V__C,s__Object))
     =>
     (s__attribute(V__C,s__Circle) =>
       (? [V__R] :
         ((s__instance(V__R,s__LengthMeasure) &
             s__radius(V__C,V__R))))))
)

 Merge.kif 7786-7789 If circle is an attribute of X, then there exists Y such that the radius of X is Y
! [V__C] :
(((s__instance(V__C,s__ClosedTwoDimensionalFigure) &
       s__instance(V__C,s__Object))
     =>
     (s__attribute(V__C,s__Circle) =>
       (? [V__P] :
         ((s__instance(V__P,s__GeometricPoint) &
             (s__CenterOfCircleFn(V__C)
             = V__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
! [V__HOLE1] :
((s__instance(V__HOLE1,s__Object) =>
     (s__attribute(V__HOLE1,s__Fillable) =>
       (? [V__HOLE2] :
         ((s__instance(V__HOLE2,s__HoleRegion) &
             s__part(V__HOLE1,V__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
! [V__OBJ1,V__HOLE,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
       s__instance(V__HOLE,s__HoleRegion) &
       s__instance(V__OBJ2,s__Object))
     =>
     ((s__fills(V__OBJ1,V__HOLE)
       &
       s__attribute(V__OBJ2,s__Fillable))
     =>
     ~(s__overlapsSpatially(V__OBJ1,V__OBJ2))))
)

 Merge.kif 10259-10264 If X fills Y and fillable is an attribute of Z, then X and Z doesn't overlapsSpatially
! [V__L : $i,V__N : $real,V__T : $i,V__W : $i] : (((s__attribute(V__W, s__Windy) & s__located(V__W, V__L) & V__T = s__WhenFn(V__W) & s__holdsDuring(V__T, s__surfaceWindSpeed(V__L, s__MeasureFn(V__N, s__MilesPerHour)))) => ($greater(V__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
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__Flammable) =>
       s__capability(s__Combustion,s__patient,V__X)))
)

 Merge.kif 12878-12880 If flammable is an attribute of X, then X is capable of doing burning as a patient
! [V__OBJ : $i,V__SOUND : $i] : (((s__instance(V__SOUND, s__RadiatingSound) & s__agent(V__SOUND, V__OBJ) & s__attribute(V__SOUND, s__Audible)) => ( ? [V__HUMAN:$i, V__HEAR:$i] : ((s__instance(V__HUMAN, s__Human) & s__capability(s__KappaFn(V__HEAR, (s__instance(V__HEAR, s__Hearing) & s__agent(V__HEAR, V__HUMAN) & s__destination(V__HEAR, V__HUMAN) & s__origin(V__HEAR, V__OBJ))), s__agent, V__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
! [V__REGION] :
((s__instance(V__REGION,s__Object) =>
     (s__attribute(V__REGION,s__Illuminated) =>
       (? [V__EMIT] :
         ((s__instance(V__EMIT,s__RadiatingLight) &
             s__patient(V__EMIT,V__REGION)
           &
           s__instance(V__REGION,s__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
! [V__L] :
((s__instance(V__L,s__Object) =>
     (s__attribute(V__L,s__Liquid) =>
       s__capability(s__Boiling,s__patient,V__L)))
)

 Merge.kif 14252-14254 If liquid is an attribute of X, then X is capable of doing boiling as a patient
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__attribute(V__PARENT,s__Male))
     =>
     s__father(V__CHILD,V__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
! [V__CHILD,V__PARENT] :
(((s__instance(V__CHILD,s__Organism) &
       s__instance(V__PARENT,s__Organism))
     =>
     ((s__parent(V__CHILD,V__PARENT)
       &
       s__attribute(V__PARENT,s__Female))
     =>
     s__mother(V__CHILD,V__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
! [V__PERSON,V__ATTRIBUTE] :
((s__instance(V__PERSON,s__Object) =>
     ((s__attribute(V__PERSON,V__ATTRIBUTE)
       &
       s__instance(V__ATTRIBUTE,s__SocialRole))
     =>
     s__instance(V__PERSON,s__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
! [V__OBJ,V__ATTR] :
((s__instance(V__OBJ,s__Object) =>
     ((s__instance(V__ATTR,s__PhysicalState) &
         s__attribute(V__OBJ,V__ATTR))
     =>
     s__instance(V__OBJ,s__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
! [V__X] :
(((s__instance(V__X,s__Substance) &
       (s__attribute(V__X,s__Gas) |
         s__attribute(V__X,s__Liquid) |
         s__attribute(V__X,s__Plasma)))
     =>
     s__attribute(V__X,s__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
! [V__OBJ,V__PART,V__COLOR] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__PART,s__Object))
     =>
     ((s__attribute(V__OBJ,s__Monochromatic) &
         s__superficialPart(V__PART,V__OBJ)
       &
       s__attribute(V__PART,V__COLOR)
     &
     s__instance(V__COLOR,s__PrimaryColor))
   =>
   (! [V__ELEMENT] :
     ((s__instance(V__ELEMENT,s__Object) =>
         (s__superficialPart(V__ELEMENT,V__OBJ)
         =>
         s__attribute(V__ELEMENT,V__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
! [V__OBJ] :
((s__instance(V__OBJ,s__Object) =>
     (s__attribute(V__OBJ,s__Polychromatic) =>
       (? [V__PART1,V__PART2,V__COLOR1,V__COLOR2] :
         ((s__instance(V__PART1,s__Object) &
             s__instance(V__PART2,s__Object) &
             (s__superficialPart(V__PART1,V__OBJ)
             &
             s__superficialPart(V__PART2,V__OBJ)
           &
           s__attribute(V__PART1,V__COLOR1)
         &
         s__attribute(V__PART2,V__COLOR2)
       &
       s__instance(V__COLOR1,s__ColorAttribute) &
       s__instance(V__COLOR2,s__ColorAttribute) &
       ~((V__COLOR1 = V__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
! [V__OBJ,V__SURFACE,V__ATTRIBUTE] :
(((s__instance(V__OBJ,s__SelfConnectedObject) &
       s__instance(V__SURFACE,s__SelfConnectedObject))
     =>
     ((s__instance(V__ATTRIBUTE,s__ShapeAttribute) &
         s__attribute(V__OBJ,V__ATTRIBUTE)
       &
       s__surface(V__SURFACE,V__OBJ))
   =>
   s__attribute(V__SURFACE,V__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
! [V__OBJ] :
(((s__instance(V__OBJ,s__Object) &
       s__attribute(V__OBJ,s__Pliable))
     =>
     (? [V__CHANGE] :
       ((s__instance(V__CHANGE,s__ShapeChange) &
           s__patient(V__CHANGE,V__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
! [V__OBJ,V__SURFACE,V__ATTRIBUTE] :
(((s__instance(V__OBJ,s__SelfConnectedObject) &
       s__instance(V__SURFACE,s__SelfConnectedObject))
     =>
     ((s__instance(V__ATTRIBUTE,s__TextureAttribute) &
         s__attribute(V__OBJ,V__ATTRIBUTE)
       &
       s__surface(V__SURFACE,V__OBJ))
   =>
   s__attribute(V__SURFACE,V__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
! [V__OBJ] :
((s__instance(V__OBJ,s__Object) =>
     (s__attribute(V__OBJ,s__Dry) =>
       ~((? [V__SUBOBJ] :
           ((s__instance(V__SUBOBJ,s__Object) &
               (s__part(V__SUBOBJ,V__OBJ)
               &
               s__attribute(V__SUBOBJ,s__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
! [V__OBJ] :
((s__instance(V__OBJ,s__Object) =>
     (s__attribute(V__OBJ,s__Wet) =>
       (! [V__PART] :
         ((s__instance(V__PART,s__Object) =>
             (s__part(V__PART,V__OBJ)
             =>
             (? [V__SUBPART] :
               ((s__instance(V__SUBPART,s__Object) &
                   (s__part(V__SUBPART,V__PART)
                   &
                   s__attribute(V__SUBPART,s__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
-------------------------


! [V__ATTR,V__PART,V__OBJ] :
(((s__instance(V__ATTR,s__Attribute) &
       s__instance(V__PART,s__Substance))
     =>
     ((s__instance(V__OBJ,s__Substance) &
         s__attribute(V__OBJ,V__ATTR)
       &
       s__piece(V__PART,V__OBJ))
   =>
   s__attribute(V__PART,V__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
! [V__TIME : $i,V__X : $i,V__Y : $i] : ((s__holdsDuring(V__TIME, s__leader(V__X, V__Y)) => s__holdsDuring(V__TIME, s__attribute(V__Y, s__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
! [V__X,V__CLASS,V__ATTR,V__I] :
(((s__instance(V__X,s__Class) &
       s__subclass(V__X,s__Object) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Object) &
       s__instance(V__ATTR,s__Attribute) &
       s__instance(V__I,s__Object))
     =>
     (((V__X = s__AttrFn(V__CLASS,V__ATTR))
       &
       s__instance(V__I,V__X))
   =>
   (s__instance(V__I,V__CLASS)
   &
   s__subclass(V__X,V__CLASS)
&
s__attribute(V__I,V__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
! [V__X,V__CLASS,V__ATTR] :
(((s__instance(V__X,s__Object) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Object) &
       s__instance(V__ATTR,s__Attribute))
     =>
     (s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR))
   =>
   (s__instance(V__X,V__CLASS)
   &
   s__attribute(V__X,V__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
! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
       s__instance(V__OBJ2,s__Object))
     =>
     (s__copy(V__OBJ1,V__OBJ2)
     =>
     (! [V__ATTR] :
       ((s__instance(V__ATTR,s__Attribute) =>
           (s__attribute(V__OBJ1,V__ATTR)
           =>
           s__attribute(V__OBJ2,V__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
! [V__P,V__C] :
(((s__instance(V__P,s__GeometricPoint) &
       s__instance(V__C,s__ClosedTwoDimensionalFigure) &
       s__instance(V__C,s__Object))
     =>
     ((V__P = s__CenterOfCircleFn(V__C))
     =>
     s__attribute(V__C,s__Circle)))
)

 Merge.kif 7804-7807 If equal X and the center of circle of Y, then circle is an attribute of Y
! [V__CIRCLE,V__RADIUS] :
(((s__instance(V__CIRCLE,s__ClosedTwoDimensionalFigure) &
       s__instance(V__CIRCLE,s__Object) &
       s__instance(V__RADIUS,s__LengthMeasure))
     =>
     (s__radius(V__CIRCLE,V__RADIUS)
     =>
     s__attribute(V__CIRCLE,s__Circle)))
)

 Merge.kif 7828-7830 If the radius of X is Y, then circle is an attribute of X
! [V__CIRCLE,V__LENGTH] :
(((s__instance(V__CIRCLE,s__Circle) &
       s__instance(V__CIRCLE,s__Object) &
       s__instance(V__LENGTH,s__LengthMeasure))
     =>
     (s__diameter(V__CIRCLE,V__LENGTH)
     =>
     s__attribute(V__CIRCLE,s__Circle)))
)

 Merge.kif 7849-7851 If the diameter of X is Y, then circle is an attribute of X
! [V__HOLE : $i,V__OBJ : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__fills(V__OBJ, V__HOLE)) => s__attribute(V__HOLE, s__Fillable))) Merge.kif 10182-10185 If X fills Y holds during Z, then fillable is an attribute of Y
! [V__HOLE1,V__HOLE2] :
((s__instance(V__HOLE1,s__Object) =>
     ((s__instance(V__HOLE2,s__HoleRegion) &
         s__part(V__HOLE1,V__HOLE2))
     =>
     s__attribute(V__HOLE1,s__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
! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__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
! [V__FOOD,V__ACT] :
((s__instance(V__FOOD,s__Object) =>
     ((s__instance(V__ACT,s__Eating) &
         s__resource(V__ACT,V__FOOD))
     =>
     s__attribute(V__FOOD,s__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
! [V__FOOD,V__ACT] :
((s__instance(V__FOOD,s__Object) =>
     ((s__instance(V__ACT,s__Drinking) &
         s__resource(V__ACT,V__FOOD))
     =>
     s__attribute(V__FOOD,s__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
! [V__ORG,V__PATH] :
((s__instance(V__ORG,s__AutonomousAgent) =>
     ((s__instance(V__PATH,s__PathologicProcess) &
         s__experiencer(V__PATH,V__ORG))
     =>
     (? [V__PART,V__DISEASE] :
       ((s__instance(V__PART,s__Object) &
           (s__part(V__PART,V__ORG)
           &
           s__instance(V__DISEASE,s__DiseaseOrSyndrome) &
           s__attribute(V__PART,V__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
! [V__D : $i,V__S : $i] : ((s__pathologicSymptom(V__D, V__S) => ( ? [V__O:$i] : (s__increasesLikelihood(s__attribute(V__O, V__D), ( ? [V__I:$i] : ((s__instance(V__I, V__S) & s__experiencer(V__I, V__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
! [V__HUMAN : $i,V__PROC : $i] : (((s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__HUMAN) & s__instance(V__HUMAN, s__Animal)) => s__holdsDuring(s__WhenFn(V__PROC), s__attribute(V__HUMAN, s__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
! [V__OBJ,V__MOTION] :
((s__instance(V__OBJ,s__Object) =>
     ((s__instance(V__MOTION,s__LiquidMotion) &
         s__patient(V__MOTION,V__OBJ))
     =>
     s__attribute(V__OBJ,s__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
! [V__OBJ,V__MOTION] :
((s__instance(V__OBJ,s__Object) =>
     ((s__instance(V__MOTION,s__GasMotion) &
         s__patient(V__MOTION,V__OBJ))
     =>
     s__attribute(V__OBJ,s__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
! [V__INJECT] :
((s__instance(V__INJECT,s__Injecting) =>
     (? [V__SUBSTANCE,V__ANIMAL] :
       ((s__patient(V__INJECT,V__SUBSTANCE)
         &
         s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
         s__attribute(V__SUBSTANCE,s__Liquid) &
         s__destination(V__INJECT,V__ANIMAL)
       &
       s__instance(V__ANIMAL,s__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
! [V__KILL : $i,V__PATIENT : $i] : (((s__instance(V__KILL, s__Killing) & s__patient(V__KILL, V__PATIENT)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__KILL)), s__attribute(V__PATIENT, s__Living)) & s__holdsDuring(s__FutureFn(s__WhenFn(V__KILL)), s__attribute(V__PATIENT, s__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
! [V__CHANGE : $i,V__OBJ : $i] : (((s__instance(V__CHANGE, s__InternalChange) & s__patient(V__CHANGE, V__OBJ)) => ( ? [V__PROPERTY:$i] : (((s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), s__attribute(V__OBJ, V__PROPERTY)) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), ~(s__attribute(V__OBJ, V__PROPERTY)))) | (s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), ~(s__attribute(V__OBJ, V__PROPERTY))) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), s__attribute(V__OBJ, V__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
! [V__ALT : $i,V__OBJ : $i] : (((s__instance(V__ALT, s__SurfaceChange) & s__patient(V__ALT, V__OBJ)) => ( ? [V__PART:$i, V__PROPERTY:$i] : ((s__superficialPart(V__PART, V__OBJ) & ((s__holdsDuring(s__BeginFn(s__WhenFn(V__ALT)), s__attribute(V__PART, V__PROPERTY)) & s__holdsDuring(s__EndFn(s__WhenFn(V__ALT)), ~(s__attribute(V__PART, V__PROPERTY)))) | (s__holdsDuring(s__BeginFn(s__WhenFn(V__ALT)), ~(s__attribute(V__PART, V__PROPERTY))) & s__holdsDuring(s__EndFn(s__WhenFn(V__ALT)), s__attribute(V__PART, V__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
! [V__COLORING : $i,V__OBJ : $i] : (((s__instance(V__COLORING, s__Coloring) & s__patient(V__COLORING, V__OBJ)) => ( ? [V__PROPERTY:$i, V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__instance(V__PROPERTY, s__ColorAttribute) & ((s__holdsDuring(s__BeginFn(s__WhenFn(V__COLORING)), s__attribute(V__PART, V__PROPERTY)) & s__holdsDuring(s__EndFn(s__WhenFn(V__COLORING)), ~(s__attribute(V__PART, V__PROPERTY)))) | (s__holdsDuring(s__BeginFn(s__WhenFn(V__COLORING)), ~(s__attribute(V__PART, V__PROPERTY))) & s__holdsDuring(s__EndFn(s__WhenFn(V__COLORING)), s__attribute(V__PART, V__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
! [V__ALT : $i,V__OBJ : $i] : (((s__instance(V__ALT, s__ShapeChange) & s__patient(V__ALT, V__OBJ)) => ( ? [V__PROPERTY:$i] : ((s__instance(V__PROPERTY, s__ShapeAttribute) & ((s__holdsDuring(s__BeginFn(s__WhenFn(V__ALT)), s__attribute(V__OBJ, V__PROPERTY)) & s__holdsDuring(s__EndFn(s__WhenFn(V__ALT)), ~(s__attribute(V__OBJ, V__PROPERTY)))) | (s__holdsDuring(s__BeginFn(s__WhenFn(V__ALT)), ~(s__attribute(V__OBJ, V__PROPERTY))) & s__holdsDuring(s__EndFn(s__WhenFn(V__ALT)), s__attribute(V__OBJ, V__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
! [V__WET : $i] : ((s__instance(V__WET, s__Wetting) => ( ? [V__OBJ:$i] : ((s__patient(V__WET, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__WET)), ~(s__attribute(V__OBJ, s__Damp))) & s__holdsDuring(s__EndFn(s__WhenFn(V__WET)), s__attribute(V__OBJ, s__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
-------------------------


? [V__MEAL,V__REGION] :
((s__instance(V__MEAL,s__Meal) &
     s__instance(V__MEAL,s__Object) &
     s__instance(V__REGION,s__Region) &
     s__attribute(V__MEAL,s__MealAttributeFn(V__MEAL,V__REGION))))

 Food.kif 1915-1916 There exist X and Y such that the appropriate meal for X in Y is an attribute of X
? [V__H] :
((s__instance(V__H,s__CognitiveAgent) &
     (s__attribute(V__H,s__NewReporter) &
       s__employs(s__ProPublica,V__H))))

 Medicine.kif 4611-4614 There exists X such that NewReporter is an attribute of X and Pro Publica Inc. employs X
! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i] : (s__AvailableForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__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
! [V__AGE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__PROCESS : $i] : (s__FitForMilitaryServiceMaleFn(V__AREA) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__subclass(V__PROCESS, s__MilitaryProcess) & s__fitForMilitaryService(V__PERSON, V__PROCESS) & s__militaryAge(V__AREA, V__MILITARYAGE) & s__age(V__PERSON, V__AGE) & ($greatereq(V__AGE,V__MILITARYAGE)) & s__inhabits(V__PERSON, V__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
! [V__AGE : $i,V__AGEMINUSONE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__YEAR : $i] : (s__ReachingMilitaryAgeAnnuallyMaleFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & V__AGEMINUSONE = $difference(V__AGE ,1) & s__holdsDuring(V__YEAR, (s__age(V__PERSON, V__AGEMINUSONE) | s__age(V__PERSON, V__AGE))) & V__AGE = V__MILITARYAGE & s__inhabits(V__PERSON, V__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
! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__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
! [V__AGENT : $i,V__ORGANISM : $i,V__PROCESS : $i,V__PROCESSTYPE : $i,V__SYMPTOM : $i] : (s__increasesLikelihood((s__biochemicalAgentSyndrome(V__AGENT, V__SYMPTOM) & s__biochemicalAgentDelivery(V__AGENT, V__PROCESSTYPE) & s__instance(V__PROCESS, V__PROCESSTYPE) & s__experiencer(V__PROCESS, V__ORGANISM)), s__attribute(V__ORGANISM, V__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
! [V__AGENT : $i,V__ORGANISM : $i,V__PROCESS : $i,V__SAMPLE : $i,V__SUBSTANCE : $i,V__SYMPTOM : $i,V__THERAPY : $i] : (s__decreasesLikelihood((s__biochemicalAgentSyndrome(V__AGENT, V__SYMPTOM) & s__biochemicalAgentAntidote(V__AGENT, V__SUBSTANCE, V__PROCESS) & s__instance(V__SAMPLE, V__SUBSTANCE) & s__instance(V__THERAPY, V__PROCESS) & s__experiencer(V__THERAPY, V__ORGANISM) & s__patient(V__THERAPY, V__SAMPLE)), s__attribute(V__ORGANISM, V__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