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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Possibility
Possibility(possibility)avertable, avertible, avoidable, conceivably, contingent, evitable, impossible, insurmountable, latent, possible, potential, unachievable, unattainable, undoable, unrealizable, unsurmountable, unthinkable

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 17216-17217
(instance Possibility AlethicAttribute) Merge.kif 17215-17215 Possibility is an instance of alethic attribute

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


(termFormat ChineseLanguage Possibility "可能性") domainEnglishFormat.kif 46798-46798
(termFormat ChineseTraditionalLanguage Possibility "可能性") domainEnglishFormat.kif 46797-46797
(termFormat EnglishLanguage Possibility "possibility") domainEnglishFormat.kif 46796-46796

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


(<=>
    (modalAttribute ?FORMULA Necessity)
    (not
        (modalAttribute
            (not ?FORMULA) Possibility)))
Merge.kif 17223-17225 The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
(=>
    (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
        (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 ?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 1522-1535
(=>
    (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 811-832
(=>
    (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 4425-4442
(=>
    (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 10459-10475
(=>
    (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 3970-3984
(=>
    (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 3986-4000
(=>
    (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 8597-8608
(=>
    (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 2535-2553
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?HUMAN)
                    (instrument ?T ?VEHICLE))) Possibility)))
Transportation.kif 1766-1776
(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (modalAttribute
        (exists (?T)
            (and
                (instance ?T Transportation)
                (patient ?T ?HUMAN)
                (instrument ?T ?VEHICLE))) Possibility))
Transportation.kif 1748-1758
(=>
    (and
        (instance ?X ReadOnlyMemoryDataStorage)
        (instance ?FABRICATION Manufacture)
        (result ?FABRICATION ?X))
    (not
        (modalAttribute
            (exists (?WRITE1 ?DATA1 ?WRITE2)
                (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 7078-7090
(=>
    (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 7050-7061
(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP ?PPL)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 479-490
(=>
    (and
        (offers ?AGENT ?ATTR)
        (instance ?ATTR Attribute))
    (modalAttribute
        (exists (?OBJ ?SELL)
            (and
                (instance ?SELL Selling)
                (attribute ?OBJ ?ATTR)
                (patient ?SELL ?OBJ)
                (agent ?SELL ?AGENT))) Possibility))
Catalog.kif 109-119
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?OBJ ?CATALOG)
        (subclass ?OBJ Physical))
    (modalAttribute
        (exists (?S ?X)
            (and
                (instance ?X ?OBJ)
                (instance ?S Selling)
                (agent ?S ?AGENT)
                (patient ?S ?X))) Possibility))
Catalog.kif 51-62
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-76
(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1890-1900
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))
Mid-level-ontology.kif 14009-14023

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