| ! [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__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Permission) => s__modalAttribute(V__FORMULA, s__Possibility))) |
Merge.kif 17668-17670 |
If the statement X has the modal force of permission, then the statement X has the modal force of possibility |
| ! [V__FORMULA : $i] : (((s__modalAttribute(V__FORMULA, s__Necessity) => ~(s__modalAttribute(~(V__FORMULA), s__Possibility))) & (~(s__modalAttribute(~(V__FORMULA), s__Possibility)) => s__modalAttribute(V__FORMULA, s__Necessity)))) |
Merge.kif 17765-17769 |
The statement X has the modal force of necessity if and only if the statement X doesn't have the modal force of possibility |
| ! [V__FORMULA : $i] : ((s__modalAttribute(V__FORMULA, s__Necessity) => s__modalAttribute(V__FORMULA, s__Possibility))) |
Merge.kif 17771-17773 |
If the statement X has the modal force of necessity, then the statement X has the modal force of possibility |
| ! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__Locked)) => ( ? [V__LOCK:$i, V__CLOSE:$i, V__MOVE:$i] : ((s__instance(V__LOCK, s__Lock) & s__connected(V__LOCK, V__X) & s__instance(V__CLOSE, s__Closing) & s__patient(V__CLOSE, V__LOCK) & s__instance(V__MOVE, s__Motion) & s__earlier(s__WhenFn(V__CLOSE), V__T) & s__holdsDuring(V__T, ~(s__modalAttribute(s__patient(V__MOVE, V__X), s__Possibility)))))))) |
Mid-level-ontology.kif 3299-3314 |
If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y |
| ! [V__X : $i] : ((s__instance(V__X, s__KingBed) => s__modalAttribute(( ? [V__P1:$i, V__P2:$i, V__P3:$i, V__TIME:$i] : ((~(V__P1 = V__P2) & ~(V__P2 = V__P3) & ~(V__P1 = V__P3) & s__attribute(V__P1, s__Asleep) & s__attribute(V__P2, s__Asleep) & s__attribute(V__P3, s__Asleep) & s__instance(V__P1, s__Human) & s__instance(V__P2, s__Human) & s__instance(V__P3, s__Human) & s__holdsDuring(V__TIME, (s__located(V__P1, V__X) & s__located(V__P2, V__X) & s__located(V__P3, V__X)))))), s__Possibility))) |
Mid-level-ontology.kif 4436-4454 |
If X is an instance of king-sized bed, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that equal Y (3) Z (4) equal Z (5) W (6) equal Y (7) W (8) asleep is an attribute of Y (9) asleep is an attribute of Z (10) asleep is an attribute of W (11) Y is an instance of human (12) Z is an instance of human (13) W is an instance of human (14) Y is located at X (15) Z is located at X (16) W is located at X holds during V has the modal force of possibility |
| ! [V__X : $i] : ((s__instance(V__X, s__QueenBed) => s__modalAttribute(( ? [V__P1:$i, V__P2:$i, V__TIME:$i] : ((~(V__P1 = V__P2) & s__instance(V__P1, s__Human) & s__instance(V__P2, s__Human) & s__holdsDuring(V__TIME, (s__attribute(V__P1, s__Asleep) & s__attribute(V__P2, s__Asleep) & s__located(V__P1, V__X) & s__located(V__P2, V__X)))))), s__Possibility))) |
Mid-level-ontology.kif 4467-4480 |
If X is an instance of queen-sized bed, then All of the following hold: (1) the statement there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) asleep is an attribute of Y (7) asleep is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W has the modal force of possibility |
| ! [V__X : $i] : ((s__instance(V__X, s__DoubleBed) => s__modalAttribute(( ? [V__P1:$i, V__P2:$i, V__TIME:$i] : ((~(V__P1 = V__P2) & s__instance(V__P1, s__Human) & s__instance(V__P2, s__Human) & s__holdsDuring(V__TIME, (s__attribute(V__P1, s__Asleep) & s__attribute(V__P2, s__Asleep) & s__located(V__P1, V__X) & s__located(V__P2, V__X)))))), s__Possibility))) |
Mid-level-ontology.kif 4493-4506 |
If X is an instance of full-sized bed, then All of the following hold: (1) the statement there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) asleep is an attribute of Y (7) asleep is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W has the modal force of possibility |
| ! [V__H : $i,V__I : $i,V__P : $i] : (((s__instance(V__P, s__Poison) & s__instance(V__I, s__Ingesting) & s__moves(V__I, V__P) & s__experiencer(V__I, V__H)) => s__modalAttribute(s__holdsDuring(s__FutureFn(s__WhenFn(V__I)), s__attribute(V__H, s__Blind)), s__Possibility))) |
Mid-level-ontology.kif 9983-9994 |
If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then the statement blindness is an attribute of Z holds during after the time of existence of Y has the modal force of possibility |
| ! [V__SPINE : $i] : ((s__instance(V__SPINE, s__PlantSpinoseStructure) => s__modalAttribute(( ? [V__I:$i, V__P:$i, V__A:$i] : ((s__instance(V__I, s__Inserting) & s__instrument(V__I, V__SPINE) & s__instance(V__A, s__Animal) & s__patient(V__I, V__A) & s__causes(V__I, V__P) & s__instance(V__P, s__Pain) & s__experiencer(V__P, V__A)))), s__Possibility))) |
Mid-level-ontology.kif 11078-11089 |
If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility |
| ! [V__BM : $i,V__BS1 : $i,V__BS2 : $i] : (((s__instance(V__BS1, s__BodySegment) & s__instance(V__BS2, s__BodySegment) & s__connected(V__BS1, V__BS2) & s__instance(V__BM, s__BodyMotion) & s__moves(V__BM, V__BS1)) => s__modalAttribute(~(( ? [V__BM2:$i] : ((s__instance(V__BM2, s__BodyMotion) & s__moves(V__BM2, V__BS2) & s__during(s__WhenFn(V__BM2), s__WhenFn(V__BM)))))), s__Possibility))) |
Mid-level-ontology.kif 12030-12046 |
If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z has the modal force of possibility |
| ! [V__AGENT1 : $i,V__AGENT2 : $i,V__AGREEMENT : $i,V__FORM1 : $i,V__FORM2 : $i,V__PROC : $i,V__PROP : $i] : (((s__instance(V__AGREEMENT, s__Contract) & s__partyToAgreement(V__AGENT1, V__AGREEMENT) & s__partyToAgreement(V__AGENT2, V__AGREEMENT) & s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__AGENT1) & s__realization(V__PROC, V__PROP) & s__containsFormula(V__PROP, V__FORM1) & s__containsFormula(V__AGREEMENT, V__FORM2) & ~(s__consistent(V__FORM1, V__FORM2))) => s__modalAttribute(( ? [V__LEGAL:$i] : ((s__instance(V__LEGAL, s__LegalAction) & s__plaintiff(V__LEGAL, V__AGENT2) & s__defendant(V__LEGAL, V__AGENT1)))), s__Possibility))) |
Mid-level-ontology.kif 15750-15767 |
If All of the following hold: (1) X is an instance of contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility |
| ! [V__VIDEO : $i] : ((s__instance(V__VIDEO, s__VideoRecording) => s__modalAttribute(( ? [V__AUDIO:$i] : ((s__instance(V__AUDIO, s__AudioRecording) & s__part(V__AUDIO, V__VIDEO)))), s__Possibility))) |
Mid-level-ontology.kif 16046-16052 |
If X is an instance of video recording, then the statement there exists Y such that Y is an instance of audio recording and Y is a part of X has the modal force of possibility |
| ! [V__O : $i] : ((s__attribute(V__O, s__Transparent) => s__modalAttribute(( ? [V__S:$i, V__A:$i, V__D:$i] : ((s__instance(V__S, s__Seeing) & s__agent(V__S, V__A) & s__destination(V__S, V__D) & s__between(V__O, V__A, V__D)))), s__Possibility))) |
Mid-level-ontology.kif 16699-16708 |
If transparent is an attribute of X, then the statement there exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of possibility |
| ! [V__O : $i] : ((s__attribute(V__O, s__Translucent) => s__modalAttribute(( ? [V__EMIT:$i, V__S:$i, V__OBJ:$i] : ((s__instance(V__EMIT, s__RadiatingLight) & s__resource(V__EMIT, V__S) & s__destination(V__EMIT, V__OBJ) & s__between(V__S, V__O, V__OBJ) & s__holdsDuring(s__WhenFn(V__EMIT), s__attribute(V__OBJ, s__Illuminated))))), s__Possibility))) |
Mid-level-ontology.kif 16727-16739 |
If translucent is an attribute of X, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of radiating light (3) Z is a resource for Y (4) Y ends up at W (5) X is between Z (6) W (7) illuminated is an attribute of W holds during the time of existence of Y has the modal force of possibility |
| ! [V__A : $i,V__USE : $i] : (((s__attribute(V__A, s__ArtifactNotFitForPurpose) & s__hasPurpose(V__A, V__USE)) => ~(s__modalAttribute(V__USE, s__Possibility)))) |
Mid-level-ontology.kif 19117-19122 |
If artifact not fit for purpose is an attribute of X and X has the purpose Y, then the statement Y doesn't have the modal force of possibility |
| ! [V__D : $i] : ((s__instance(V__D, s__Disappearing) => ( ? [V__OBJ:$i, V__AGENT:$i, V__SEARCH:$i, V__TIME:$i] : ((s__instance(V__SEARCH, s__Searching) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__SEARCH)) & s__agent(V__SEARCH, V__AGENT) & s__instance(V__OBJ, s__Object) & s__patient(V__D, V__OBJ) & s__patient(V__SEARCH, V__OBJ) & s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, s__WhenFn(V__SEARCH)) & s__holdsDuring(V__TIME, ~(s__modalAttribute(( ? [V__DISC:$i] : ((s__instance(V__DISC, s__Discovering) & s__agent(V__DISC, V__AGENT) & s__patient(V__DISC, V__OBJ)))), s__Possibility)))))))) |
Mid-level-ontology.kif 19162-19184 |
If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V |
| ! [V__H : $i,V__ICU : $i,V__T : $i] : ((s__holdsDuring(V__T, (s__instance(V__ICU, s__IntensiveCareUnit) & s__stays(V__H, V__ICU))) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__finishes(s__WhenFn(V__D), V__T)))), s__Possibility))) |
Mid-level-ontology.kif 22810-22820 |
If X is an instance of ICU and Y stays at X holds during Z, then the statement there exists W such that W is an instance of death and the time of existence of W finishes Z has the modal force of possibility |
| ! [V__P : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__attribute(V__P, s__Closed)) => s__modalAttribute(( ? [V__T2:$i] : ((~(V__T1 = V__T2) & s__holdsDuring(V__T1, s__attribute(V__P, s__Open))))), s__Possibility))) |
Mid-level-ontology.kif 23724-23734 |
If closed is an attribute of X holds during Y, then the statement there exists Z such that equal Y, Z, and open is an attribute of X holds during Y has the modal force of possibility |
| ! [V__H : $i,V__O : $i,V__T : $i] : (((s__instance(V__O, s__Object) & V__O = s__HoleHostFn(V__H) & s__holdsDuring(V__T, s__attribute(V__O, s__Open))) => s__holdsDuring(V__T, s__modalAttribute(( ? [V__MOVE:$i, V__THING:$i] : ((s__instance(V__MOVE, s__Transfer) & s__objectTransferred(V__MOVE, V__THING) & s__destination(V__MOVE, V__H)))), s__Possibility)))) |
Mid-level-ontology.kif 23743-23756 |
If X is an instance of object, equal X and the host of the hole Y, and open is an attribute of X holds during Z, then the statement there exist W, V such that W is an instance of transfer, the object transferred in W is V, and W ends up at Y has the modal force of possibility holds during Z |
| ! [V__X : $i] : (((s__instance(V__X, s__Substance) & s__attribute(V__X, s__Insoluble)) => ~(s__modalAttribute(( ? [V__Y:$i, V__Z:$i] : ((s__instance(V__Y, s__Substance) & s__instance(V__Z, s__Solution) & s__piece(V__X, V__Z) & s__piece(V__Y, V__Z)))), s__Possibility)))) |
Mid-level-ontology.kif 23809-23821 |
If X is an instance of substance and insoluble is an attribute of X, then the statement there don't exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z doesn't have the modal force of possibility |
| ! [V__WATER : $i,V__X : $i] : (((s__instance(V__X, s__HotTub) & s__located(V__WATER, V__X) & s__instance(V__WATER, s__Water)) => s__modalAttribute(( ? [V__HEAT:$i] : ((s__instance(V__HEAT, s__Heating) & s__instrument(V__HEAT, V__X) & s__patient(V__HEAT, V__WATER)))), s__Possibility))) |
Mid-level-ontology.kif 27608-27618 |
If X is an instance of hot tub, Y is located at X, and Y is an instance of water, then the statement there exists Z such that Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z has the modal force of possibility |
| ! [V__X : $i] : (((s__instance(V__X, s__WhirlpoolTub) & s__attribute(V__X, s__DoubleSize)) => s__modalAttribute(( ? [V__T1:$i] : (s__holdsDuring(V__T1, ( ? [V__P1:$i, V__P2:$i] : ((s__instance(V__P1, s__Human) & s__instance(V__P2, s__Human) & ~(V__P1 = V__P2) & s__located(V__P1, V__X) & s__located(V__P2, V__X))))))), s__Possibility))) |
Mid-level-ontology.kif 27636-27649 |
If X is an instance of whirlpool tub and double size is an attribute of X, then All of the following hold: (1) the statement there exists Y such that there exist Z (2) W such that Z is an instance of human (3) W is an instance of human (4) equal Z (5) W (6) Z is located at X (7) W is located at X holds during Y has the modal force of possibility |
| ! [V__SPEAK : $i,V__X : $i] : (((s__attribute(V__X, s__Multilingual) & s__instance(V__SPEAK, s__Speaking) & s__agent(V__SPEAK, V__X)) => s__modalAttribute(( ? [V__LANG1:$i, V__LANG2:$i] : ((s__instance(V__LANG1, s__SpokenHumanLanguage) & s__instance(V__LANG2, s__SpokenHumanLanguage) & ~(V__LANG1 = V__LANG2) & (s__patient(V__SPEAK, V__LANG1) | s__patient(V__SPEAK, V__LANG2))))), s__Possibility))) |
Mid-level-ontology.kif 28316-28329 |
If multilingual is an attribute of X, Y is an instance of speaking, and X is an agent of Y, then the statement there exist Z, W such that Z is an instance of spoken human language, W is an instance of spoken human language, equal Z, W, and Z is a patient of Y or W is a patient of Y has the modal force of possibility |
| ! [V__X : $i] : (((s__attribute(V__X, s__WheelchairAccessible) & (s__instance(V__X, s__Building) | s__instance(V__X, s__Room))) => s__modalAttribute(( ? [V__MOTION:$i, V__WHEELCHAIR:$i] : ((s__instance(V__MOTION, s__Motion) & s__instrument(V__MOTION, V__WHEELCHAIR) & s__instance(V__WHEELCHAIR, s__Wheelchair) & s__eventLocated(V__MOTION, V__X)))), s__Possibility))) |
Mid-level-ontology.kif 28729-28741 |
If wheelchair accessible is an attribute of X and X is an instance of building or X is an instance of room, then the statement there exist Y, Z such that Y is an instance of motion, Z is an instrument for Y, Z is an instance of wheelchair, and Y is located at X has the modal force of possibility |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
