Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Possibility(possibility) |  | avertable, avertible, avoidable, conceivably, contingent, evitable, impossible, insurmountable, latent, possible, potential, unachievable, unattainable, undoable, unrealizable, unsurmountable, unthinkable |
| appearance as argument number 1 |
|
|
| (instance Possibility AlethicAttribute) | Merge.kif 17757-17757 | Possibility is an instance of alethic attribute |
| (documentation Possibility EnglishLanguage "Attribute that applies to Propositions that are possible, i.e. true in at least one possible world.") | Merge.kif 17758-17759 | Possibility is an instance of alethic attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA 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 |
| (<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
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 |
| (=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA 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 |
| (=> (holdsDuring ?T (attribute ?X Locked)) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) ?T) (holdsDuring ?T (not (modalAttribute (patient ?MOVE ?X) 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 |
| (=> (instance ?X KingBed) (modalAttribute (exists (?P1 ?P2 ?P3 ?TIME) (and (not (equal ?P1 ?P2)) (not (equal ?P2 ?P3)) (not (equal ?P1 ?P3)) (attribute ?P1 Asleep) (attribute ?P2 Asleep) (attribute ?P3 Asleep) (instance ?P1 Human) (instance ?P2 Human) (instance ?P3 Human) (holdsDuring ?TIME (and (located ?P1 ?X) (located ?P2 ?X) (located ?P3 ?X))))) 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 |
| (=> (instance ?X QueenBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) 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 |
| (=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) 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 |
| (=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) 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 |
| (=> (instance ?SPINE PlantSpinoseStructure) (modalAttribute (exists (?I ?P ?A) (and (instance ?I Inserting) (instrument ?I ?SPINE) (instance ?A Animal) (patient ?I ?A) (causes ?I ?P) (instance ?P Pain) (experiencer ?P ?A))) 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 |
| (=> (and (instance ?BS1 BodySegment) (instance ?BS2 BodySegment) (connected ?BS1 ?BS2) (instance ?BM BodyMotion) (moves ?BM ?BS1)) (modalAttribute (not (exists (?BM2) (and (instance ?BM2 BodyMotion) (moves ?BM2 ?BS2) (during (WhenFn ?BM2) (WhenFn ?BM))))) 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 |
| (=> (and (instance ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (containsFormula ?PROP ?FORM1) (containsFormula ?AGREEMENT ?FORM2) (not (consistent ?FORM1 ?FORM2))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) 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 |
| (=> (instance ?VIDEO VideoRecording) (modalAttribute (exists (?AUDIO) (and (instance ?AUDIO AudioRecording) (part ?AUDIO ?VIDEO))) 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 |
| (=> (attribute ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) 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 |
| (=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) 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 |
| (=> (and (attribute ?A ArtifactNotFitForPurpose) (hasPurpose ?A ?USE)) (not (modalAttribute ?USE 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 |
| (=> (instance ?D Disappearing) (exists (?OBJ ?AGENT ?SEARCH ?TIME) (and (instance ?SEARCH Searching) (earlier (WhenFn ?D) (WhenFn ?SEARCH)) (agent ?SEARCH ?AGENT) (instance ?OBJ Object) (patient ?D ?OBJ) (patient ?SEARCH ?OBJ) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?SEARCH)) (holdsDuring ?TIME (not (modalAttribute (exists (?DISC) (and (instance ?DISC Discovering) (agent ?DISC ?AGENT) (patient ?DISC ?OBJ))) 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 |
| (=> (holdsDuring ?T (and (instance ?ICU IntensiveCareUnit) (stays ?H ?ICU))) (modalAttribute (exists (?D) (and (instance ?D Death) (finishes (WhenFn ?D) ?T))) 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 |
| (=> (holdsDuring ?T1 (attribute ?P Closed)) (modalAttribute (exists (?T2) (and (not (equal ?T1 ?T2)) (holdsDuring ?T1 (attribute ?P Open)))) 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 |
| (=> (and (instance ?O Object) (equal ?O (HoleHostFn ?H)) (holdsDuring ?T (attribute ?O Open))) (holdsDuring ?T (modalAttribute (exists (?MOVE ?THING) (and (instance ?MOVE Transfer) (objectTransferred ?MOVE ?THING) (destination ?MOVE ?H))) 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 |
| (=> (and (instance ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) 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 |
| (=> (and (instance ?X HotTub) (located ?WATER ?X) (instance ?WATER Water)) (modalAttribute (exists (?HEAT) (and (instance ?HEAT Heating) (instrument ?HEAT ?X) (patient ?HEAT ?WATER))) 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 |
| (=> (and (instance ?X WhirlpoolTub) (attribute ?X DoubleSize)) (modalAttribute (exists (?T1) (holdsDuring ?T1 (exists (?P1 ?P2) (and (instance ?P1 Human) (instance ?P2 Human) (not (equal ?P1 ?P2)) (located ?P1 ?X) (located ?P2 ?X))))) 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 |
| (=> (and (attribute ?X Multilingual) (instance ?SPEAK Speaking) (agent ?SPEAK ?X)) (modalAttribute (exists (?LANG1 ?LANG2) (and (instance ?LANG1 SpokenHumanLanguage) (instance ?LANG2 SpokenHumanLanguage) (not (equal ?LANG1 ?LANG2)) (or (patient ?SPEAK ?LANG1) (patient ?SPEAK ?LANG2)))) 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 |
| (=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) 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 |
|