| Possibility | |
| appearance as argument number 1 |
|
|
| (documentation Possibility ChineseLanguage "这是指应用于有可能出现 Proposition 的属性，即是 它起码会在一个世界上实现。") | chinese_format.kif 3889-3890 | |
| (documentation Possibility EnglishLanguage "Attribute that applies to Propositions that are possible, i.e. true in at least one possible world.") | Merge.kif 17584-17585 | |
| (instance Possibility AlethicAttribute) | Merge.kif 17583-17583 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Possibility "可能性") | domainEnglishFormat.kif 46810-46810 | |
| (termFormat ChineseTraditionalLanguage Possibility "可能性") | domainEnglishFormat.kif 46809-46809 | |
| (termFormat EnglishLanguage Possibility "possibility") | domainEnglishFormat.kif 46808-46808 |
| consequent |
|
|
| (<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
Merge.kif 17591-17593 | |
| (=> (and (attribute ?D DeviceDamaged) (hasPurpose ?D ?F)) (not (modalAttribute ?F Possibility))) |
Mid-level-ontology.kif 31377-31382 | |
| (=> (and (attribute ?D DeviceNormal) (hasPurpose ?D ?F)) (modalAttribute ?F Possibility)) |
Mid-level-ontology.kif 31350-31354 | |
| (=> (and (attribute ?H ?D) (diseaseTreatment ?D ?P) (instance ?TP TherpeuticProcess) (agent ?TP ?DOC) (patient ?TP ?H) (attribute ?DOC MedicalDoctor)) (modalAttribute (instance ?TP ?P) Possibility)) |
Medicine.kif 5836-5846 | |
| (=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility)) |
Dining.kif 1207-1224 | |
| (=> (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 27646-27659 | |
| (=> (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 28057-28069 | |
| (=> (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 3931-3941 | |
| (=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))) |
TransportDetail.kif 157-176 | |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 | |
| (=> (and (employs ?HOTEL ?ATHLETE) (attribute ?HOTEL TravelerAccommodation) (attribute ?ATHLETE TennisProfessional) (guest ?CUST ?HOTEL)) (modalAttribute (exists (?TENNIS ?LOC) (and (instance ?TENNIS Tennis) (contestParticipant ?TENNIS ?ATHLETE) (contestParticipant ?TENNIS ?CUST) (located ?TENNIS ?LOC) (located ?HOTEL ?LOC))) Possibility)) |
Hotel.kif 1533-1546 | |
| (=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3041-3055 | |
| (=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?X ?CUST) ?AGENT ?CUST) Possibility)) |
Dining.kif 336-350 | |
| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 | |
| (=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (familyRelation ?MONARCH ?SUCCESSOR) (earlier ?T1 ?T2)) (modalAttribute (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility)) |
Government.kif 223-234 | |
| (=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4422-4439 | |
| (=> (and (instance ?A Anaphylaxis) (experiencer ?A ?H)) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (causes ?A ?D))) Possibility)) |
Medicine.kif 1538-1548 | |
| (=> (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 11908-11924 | |
| (=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (modalAttribute (exists (?R) (and (instance ?R ClimbingRope) (contains ?C ?R))) Possibility))) |
Mid-level-ontology.kif 32751-32762 | |
| (=> (and (instance ?G Substance) (attribute ?G OxidizingSubstance)) (exists (?R) (and (instance ?R Releasing) (patient ?R Oxygen) (capability Releasing origin ?G) (modalAttribute (exists (?C) (and (instance ?C Combustion) (causes ?R ?C))) Possibility)))) |
Transportation.kif 4180-4193 | |
| (=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility)) |
ComputingBrands.kif 3967-3981 | |
| (=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 3983-3997 | |
| (=> (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 9830-9841 | |
| (=> (and (instance ?POLICY ChildrenPolicy) (policyOwner ?AGENT ?POLICY) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?CUST1) (and (customer ?CUST1 ?AGENT) (instance ?CUST1 HumanChild))) Possibility)) (containsInformation ?POLICY (not (modalAttribute (exists (?CUST2) (and (customer ?CUST2 ?AGENT) (instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2546-2564 | |
| (=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility)))) |
Transportation.kif 3822-3842 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|