Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Possibility
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 16600-16601
(instance Possibility AlethicAttribute) Merge.kif 16599-16599

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Possibility "可能性") domainEnglishFormat.kif 46791-46791
(termFormat ChineseTraditionalLanguage Possibility "可能性") domainEnglishFormat.kif 46790-46790
(termFormat EnglishLanguage Possibility "possibility") domainEnglishFormat.kif 46789-46789

consequent
-------------------------


(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))
Merge.kif 16607-16609
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))
Mid-level-ontology.kif 28145-28150
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))
Mid-level-ontology.kif 28118-28122
(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2)
            (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 1160-1177
(=>
    (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 24437-24450
(=>
    (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 24847-24859
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (and
        (occupiesPosition ?VALET Valet ?AGENT)
        (modalAttribute
            (exists (?VP)
                (and
                    (instance ?VP ValetParking)
                    (agent ?VP ?VALET)
                    (patient ?VP ?VEHICLE)
                    (destination ?VP ?PARK)
                    (instance ?PARK ParkingRegion))) Possibility)))
TransportDetail.kif 153-171
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))
Hotel.kif 502-518
(=>
    (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 1484-1497
(=>
    (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 ?CUST ?X) ?AGENT ?CUST) Possibility))
Dining.kif 332-346
(=>
    (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 790-811
(=>
    (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 4398-4415
(=>
    (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 9585-9601
(=>
    (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 29513-29524
(=>
    (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 3943-3957
(=>
    (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 3959-3973
(=>
    (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 8115-8126
(=>
    (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 2495-2513
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?HUMAN)
                    (instrument ?T ?VEHICLE))) Possibility)))
Transportation.kif 1774-1784
(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (modalAttribute
        (exists (?T)
            (and
                (instance ?T Transportation)
                (patient ?T ?HUMAN)
                (instrument ?T ?VEHICLE))) Possibility))
Transportation.kif 1756-1766
(=>
    (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 23957-23967
(=>
    (and
        (instance ?X ReadOnlyMemoryDataStorage)
        (instance ?FABRICATION Manufacture)
        (result ?FABRICATION ?X))
    (not
        (modalAttribute
            (exists (?WRITE1 ?DATA1)
                (and
                    (or
                        (instance ?WRITE2 ContentDevelopment)
                        (instance ?WRITE2 DeletingData))
                    (earlier
                        (WhenFn ?FABRICATION)
                        (WhenFn ?WRITE1))
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (stored ?DATA1 ?X)))) Possibility)))
Media.kif 768-788
(=>
    (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)))
Geography.kif 6910-6922
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (piece ?X ?Z)
                (piece ?Y ?Z))) Possibility))
Geography.kif 6882-6893
(=>
    (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 23985-23998

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners