| ! [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__ATOM : $i,V__NUMBER : $int,V__PROTON : $i,V__SUBSTANCE : $i,V__TYPE : $i] : ((s__atomicNumber(V__TYPE,V__NUMBER) => ((s__instance(V__SUBSTANCE, V__TYPE) & s__part(V__ATOM, V__SUBSTANCE) & s__instance(V__ATOM, s__Atom)) => V__NUMBER = s__CardinalityFn(s__KappaFn(V__PROTON, (s__part(V__PROTON, V__ATOM) & s__instance(V__PROTON, s__Proton))))))) |
Merge.kif 14087-14099 |
Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V |
| ! [V__GUN : $i,V__LM : $real,V__LM1 : $real,V__O : $i,V__U : $i] : (((s__instance(V__GUN, s__Gun) & s__instance(V__U, s__UnitOfLength) & s__effectiveRange(V__GUN, s__MeasureFn(V__LM, V__U)) & s__distance(V__GUN, V__O, s__MeasureFn(V__LM1, V__U)) & ~(( ? [V__O2:$i] : (s__between(V__O, V__O2, V__GUN)))) & ($lesseq(V__LM1,V__LM))) => ( ? [V__DAMAGING:$i] : (s__capability(s__KappaFn(V__DAMAGING, (s__instance(V__DAMAGING, s__Damaging) & s__patient(V__DAMAGING, V__O))), s__instrument, V__GUN))))) |
Mid-level-ontology.kif 1662-1680 |
If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| ! [V__GUN : $i,V__LM : $real,V__LM1 : $real,V__O : $i,V__U : $i] : (((s__instance(V__GUN, s__Gun) & s__instance(V__U, s__UnitOfLength) & s__effectiveRange(V__GUN, s__MeasureFn(V__LM, V__U)) & s__distance(V__GUN, V__O, s__MeasureFn(V__LM1, V__U)) & s__instance(V__O, s__Organism) & ~(( ? [V__O2:$i] : (s__between(V__O, V__O2, V__GUN)))) & ($lesseq(V__LM1,V__LM))) => ( ? [V__KILLING:$i] : (s__capability(s__KappaFn(V__KILLING, (s__instance(V__KILLING, s__Killing) & s__patient(V__KILLING, V__O))), s__instrument, V__GUN))))) |
Mid-level-ontology.kif 1684-1703 |
If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| ! [V__S : $i] : ((s__instance(V__S, s__Shield) => s__hasPurpose(V__S, ( ? [V__P:$i, V__H:$i, V__I:$i] : ((s__instance(V__P, s__Protecting) & s__instrument(V__P, V__S) & s__instance(V__H, s__Human) & s__patient(V__P, V__H) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__W:$i] : ((s__instance(V__W, s__Weapon) & s__instrument(V__I, V__W)))) & (s__patient(V__I, V__H) => ~(s__patient(V__P, V__H)))))))))))) |
Mid-level-ontology.kif 1758-1778 |
If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W |
| ! [V__X : $i] : ((s__instance(V__X, s__Key) => s__hasPurpose(V__X, ( ? [V__LOCK:$i, V__CLOSE:$i, V__OPEN:$i] : ((s__instance(V__LOCK, s__Lock) & s__capability(s__KappaFn(V__CLOSE, (s__instance(V__CLOSE, s__Closing) & s__patient(V__CLOSE, V__LOCK) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__CLOSE)), s__attribute(V__LOCK, s__Locked)))), s__instrument, V__X) & s__capability(s__KappaFn(V__OPEN, (s__instance(V__OPEN, s__Closing) & s__patient(V__OPEN, V__LOCK) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__OPEN)), ~(s__attribute(V__LOCK, s__Locked))))), s__instrument, V__X))))))) |
Mid-level-ontology.kif 3269-3293 |
If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument |
| ! [V__SADDLE : $i] : ((s__instance(V__SADDLE, s__Saddle) => ( ? [V__RIDE:$i] : (s__capability(s__KappaFn(V__RIDE, ( ? [V__HUMAN:$i, V__HORSE:$i] : ((s__instance(V__RIDE, s__Carrying) & s__patient(V__RIDE, V__HUMAN) & s__instance(V__HUMAN, s__Human) & s__agent(V__RIDE, V__HORSE) & s__instance(V__HORSE, s__Horse))))), s__instrument, V__SADDLE))))) |
Mid-level-ontology.kif 4935-4946 |
If X is an instance of saddle, then there exists Y such that X is capable of doing the class described by Y as a instrument |
| ! [V__BOX : $i,V__SIDE : $i] : ((s__instance(V__BOX, s__Box) => s__CardinalityFn(s__KappaFn(V__SIDE, (s__top(V__SIDE, V__BOX) | s__bottom(V__SIDE, V__BOX) | s__side(V__SIDE, V__BOX)))) = 6)) |
Mid-level-ontology.kif 5087-5095 |
If X is an instance of box, then equal the number of instances in the class described by Y and 6 |
| ! [V__F : $i,V__P : $i] : ((s__instance(V__P, s__Polyhedron) => ($greatereq(s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__P))),4)))) |
Mid-level-ontology.kif 5469-5474 |
If X is an instance of polyhedron, then the number of instances in the class described by Y is greater than or equal to 4 |
| ! [V__POL : $i,V__PY : $i,V__S : $i,V__T : $i] : (((s__instance(V__PY, s__Pyramid) & s__instance(V__POL, s__Polygon) & s__faceOfFigure(V__POL, V__PY) & s__sideOfFigure(V__S, V__POL) & s__instance(V__T, s__Triangle) & s__faceOfFigure(V__T, V__PY) & s__sideOfFigure(V__S, V__T) & s__sideOfIntersection(V__POL, V__T, V__S)) => s__CardinalityFn(s__KappaFn(V__S, s__sideOfFigure(V__S, V__POL))) = s__CardinalityFn(s__KappaFn(V__T, s__faceOfFigure(V__T, V__PY))))) |
Mid-level-ontology.kif 5515-5531 |
If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
| ! [V__F : $i,V__P : $i] : ((s__instance(V__P, s__SquarePyramid) => s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__P))) = 4)) |
Mid-level-ontology.kif 5546-5551 |
If X is an instance of square pyramid, then equal the number of instances in the class described by Y and 4 |
| ! [V__C : $i,V__F : $i] : ((s__instance(V__C, s__Cube) => s__CardinalityFn(s__KappaFn(V__F, s__faceOfFigure(V__F, V__C))) = 6)) |
Mid-level-ontology.kif 5561-5566 |
If X is an instance of cube, then equal the number of instances in the class described by Y and 6 |
| ! [V__QUAD : $i,V__SIDE : $i] : ((s__instance(V__QUAD, s__Quadrilateral) => s__CardinalityFn(s__KappaFn(V__SIDE, s__sideOfFigure(V__SIDE, V__QUAD))) = 4)) |
Mid-level-ontology.kif 5690-5695 |
If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4 |
| ! [V__AUDITORIUM : $i,V__PERSON : $i,V__SEAT : $i,V__SEEING : $i,V__STAGE : $i] : (((s__instance(V__SEAT, s__AuditoriumSeat) & s__part(V__SEAT, V__AUDITORIUM) & s__part(V__STAGE, V__AUDITORIUM) & s__instance(V__AUDITORIUM, s__Auditorium) & s__instance(V__STAGE, s__PerformanceStage) & s__located(V__PERSON, V__SEAT) & s__instance(V__PERSON, s__Human)) => s__capability(s__KappaFn(V__SEEING, (s__instance(V__SEEING, s__Seeing) & s__patient(V__SEEING, V__STAGE))), s__agent, V__PERSON))) |
Mid-level-ontology.kif 8648-8661 |
If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent |
| ! [V__X : $i] : ((s__instance(V__X, s__Protecting) => s__hasPurpose(V__X, ( ? [V__OBJ:$i, V__T:$i, V__H:$i, V__HARM:$i] : ((s__instance(V__OBJ, s__Object) & s__patient(V__X, s__Object) & s__subclass(V__HARM, s__KappaFn(V__H, ((s__instance(V__H, s__CriminalAction) | s__instance(V__H, s__Damaging)) & (s__holdsDuring(V__T, s__patient(V__H, V__OBJ)) => ~(s__holdsDuring(V__T, s__patient(V__X, V__OBJ))))))) & (s__prevents(V__X, V__HARM) | s__hinders(V__X, V__HARM)))))))) |
Mid-level-ontology.kif 20326-20347 |
If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V |
| ! [V__ATOM : $i,V__NUMBER : $int,V__SUBSTANCE : $i] : (((s__protonNumber(V__SUBSTANCE,V__NUMBER) & s__part(V__ATOM, V__SUBSTANCE) & (s__instance(V__ATOM, s__Atom) | s__instance(V__ATOM, s__Molecule))) => ( ? [V__PROTON:$i] : (V__NUMBER = s__CardinalityFn(s__KappaFn(V__PROTON, (s__part(V__PROTON, V__ATOM) & s__instance(V__PROTON, s__Proton)))))))) |
Mid-level-ontology.kif 23961-23974 |
If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| ! [V__ATOM : $i,V__NUMBER : $int,V__SUBSTANCE : $i] : (((s__electronNumber(V__SUBSTANCE,V__NUMBER) & s__part(V__ATOM, V__SUBSTANCE) & (s__instance(V__ATOM, s__Atom) | s__instance(V__ATOM, s__Molecule))) => ( ? [V__ELECTRON:$i] : (V__NUMBER = s__CardinalityFn(s__KappaFn(V__ELECTRON, (s__part(V__ELECTRON, V__ATOM) & s__instance(V__ELECTRON, s__Electron)))))))) |
Mid-level-ontology.kif 23984-23997 |
If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| ! [V__X : $i] : ((s__attribute(V__X, s__Celebrity) => ( ? [V__A:$i] : (($greater(s__CardinalityFn(s__KappaFn(V__A, s__acquaintance(V__A, V__X))),1000)))))) |
Mid-level-ontology.kif 24464-24471 |
If celebrity is an attribute of X, then there exists Y such that the number of instances in the class described by Y is greater than 1000 |
| ! [V__MEM : $i,V__NUM : $int,V__ORG : $i] : ((s__memberCount(V__ORG, V__NUM) => V__NUM = s__CardinalityFn(s__KappaFn(V__MEM, s__member(V__MEM, V__ORG))))) |
Mid-level-ontology.kif 24918-24924 |
If X is a member count of Y, then equal X and the number of instances in the class described by Z |
| ! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__SafetyPosition)) => s__holdsDuring(V__T, s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T2:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__agent(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T2, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T2, s__patient(V__P, V__H)))))))))))))) |
Mid-level-ontology.kif 33327-33347 |
If safety position is an attribute of X holds during Y, then X has the purpose there exist Z, W,, , V, U such that W is an instance of human, Z is an instance of process, W is a patient of Z, X is an agent of Z, and Z prevents the occurrence of the class described by V holds during Y |
| ! [V__X : $i] : ((s__instance(V__X, s__SafetyDevice) => s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__instrument(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T, s__patient(V__P, V__H))))))))))))) |
Mid-level-ontology.kif 33439-33457 |
If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W |
| ! [V__PERSON : $i,V__SH : $i] : (((s__instance(V__SH, s__SafetyHarness) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__SH)) => s__hasPurpose(V__SH, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__SH) & s__patient(V__PROC, V__PERSON) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__F:$i, V__H:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__experiencer(V__I, V__H) & s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__causes(V__F, V__I) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ))))))) |
Cars.kif 3254-3282 |
If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
| ! [V__HP : $i,V__PERSON : $i] : (((s__instance(V__HP, s__HearingProtection) & s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__HP)) => s__hasPurpose(V__HP, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__SOUND:$i, V__HEAR:$i, V__HUMAN:$i, V__T:$i] : ((s__instance(V__SOUND, s__RadiatingSound) & s__instance(V__HEAR, s__Hearing) & s__instance(V__HUMAN, s__Human) & s__patient(V__HEAR, V__SOUND) & s__experiencer(V__HEAR, V__HUMAN) & s__causes(V__HEAR, V__I) & s__experiencer(V__I, V__HUMAN) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ) & s__instrument(V__PROC, V__HP))))))) |
Cars.kif 3312-3341 |
If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z |
| ! [V__PE : $i,V__PERSON : $i] : ((s__instance(V__PE, s__ProtectiveEyewear) => s__hasPurpose(V__PE, ((s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__PE)) => ( ? [V__PROTECT:$i, V__EYE:$i, V__INJ:$i, V__I:$i, V__T:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__PE) & s__subclass(V__INJ, s__KappaFn(V__I, ( ? [V__HUMAN:$i] : ((s__instance(V__I, s__Injuring) & s__instance(V__EYE, s__Eye) & s__instance(V__HUMAN, s__Human) & s__properPart(V__EYE, V__HUMAN) & s__patient(V__I, V__EYE) & (s__holdsDuring(V__T, s__patient(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROTECT, V__PERSON))))))))) & s__prevents(V__PROTECT, V__INJ)))))))) |
Cars.kif 3347-3373 |
If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V |
| ! [V__PERSON : $i,V__X : $i] : (((s__instance(V__X, s__Respirator) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__X)) => s__hasPurpose(V__X, ( ? [V__INHAL:$i, V__INJ:$i, V__PROTECT:$i, V__I:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__X) & s__prevents(V__PROTECT, V__INJ) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__patient(V__I, V__H) & s__instance(V__INHAL, s__Inhaling) & s__agent(V__INHAL, V__H) & s__causes(V__I, V__INHAL))))))))))))) |
Cars.kif 3395-3416 |
If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
