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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agent
agent

appearance as argument number 1
-------------------------


(documentation agent ChineseLanguage "(agent ?PROCESS ?AGENT) 的意思是 ?AGENT，不管它 有没有生命，也不管他有没有自主意图，它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如：在以下 '夏娃咬了一口苹果'这命题中，夏娃是个 agent。") chinese_format.kif 1865-1867
(documentation agent EnglishLanguage "(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.") Merge.kif 2414-2417
(domain agent 1 Process) Merge.kif 2410-2410 The number 1 argument of agent is an instance of process
(domain agent 2 AutonomousAgent) Merge.kif 2411-2411 The number 2 argument of agent is an instance of agent
(instance agent CaseRole) Merge.kif 2408-2408 agent is an instance of case role
(instance agent PartialValuedRelation) Merge.kif 2409-2409 agent is an instance of partial valued relation
(subrelation agent involvedInEvent) Merge.kif 2412-2412 agent is a subrelation of involved in event

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


(format ChineseLanguage agent "%2 %n 是 %1 的 agent") chinese_format.kif 53-53
(format EnglishLanguage agent "%2 is %n an agent of %1") english_format.kif 53-53
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 22768-22768 typical action is internally related to agent
(subrelation arrestingOfficer agent) Law.kif 270-270 arresting officer is a subrelation of agent
(subrelation contestParticipant agent) Mid-level-ontology.kif 19459-19459 contest participant is a subrelation of agent
(subrelation gainsControl agent) Mid-level-ontology.kif 23385-23385 gains control is a subrelation of agent
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23 invading virus is a subrelation of agent
(subrelation perpetrator agent) Law.kif 314-314 perpetrator is a subrelation of agent
(subrelation plaintiff agent) Mid-level-ontology.kif 16115-16115 plaintiff is a subrelation of agent
(subrelation prosecutor agent) Law.kif 352-352 prosecutor is a subrelation of agent
(subrelation serviceProvider agent) Mid-level-ontology.kif 22829-22829 service provider is a subrelation of agent
(termFormat ChineseLanguage agent "主事") chinese_format.kif 54-54
(termFormat EnglishLanguage agent "agent") domainEnglishFormat.kif 65864-65864

antecedent
-------------------------


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 18619-18625
(=>
    (and
        (agent ?Purchase ?Buyer)
        (origin ?Purchase ?Seller)
        (patient ?Purchase ?Object)
        (monetaryValue ?Object ?Money))
    (exists (?Payment)
        (and
            (subProcess ?Payment ?Purchase)
            (instance ?Payment Payment)
            (transactionAmount ?Payment ?Money)
            (origin ?Payment ?Buyer)
            (destination ?Payment ?Seller))))		 FinancialOntology.kif 487-499
(=>
    (and
        (attribute ?A AppraisalAsJustTreatment)
        (instance ?AJT AppraisalProcess)
        (agent ?AJT ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (wants ?A ?P))))		 emotion.kif 374-387
(=>
    (and
        (attribute ?A AppraisalAsUnjustTreatment)
        (instance ?AUJ AppraisalProcess)
        (agent ?AUJ ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AUJ ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))		 emotion.kif 349-363
(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 527-546
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 134-143
(=>
    (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 25657-25670
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (capability RoomCleaningService agent ?X))
    (exists (?MAID ?HOTELROOM)
        (and
            (employs ?X ?MAID)
            (attribute ?MAID Maid)
            (instance ?HOTELROOM HotelUnit)
            (part ?HOTELROOM
                (PropertyFn ?X))
            (capability RoomCleaningService patient ?HOTELROOM)
            (capability RoomCleaningService serviceProvider ?MAID))))		 Hotel.kif 1935-1946
(=>
    (and
        (attribute ?X Writer)
        (instance ?TEXT ?CLASS)
        (or
            (subclass ?CLASS Text)
            (subclass ?CLASS Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?CLASS))		 Biography.kif 500-510
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))		 Government.kif 1850-1854
(=>
    (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 153-172
(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))		 Government.kif 1588-1595
(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (instance ?D Drinking)
        (agent ?D ?CUST)
        (resource ?D ?X))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (refers ?C ?X)
            (destination ?C ?AGENT))))		 Dining.kif 130-150
(=>
    (and
        (directed ?DIRECTOR ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (instance ?FILMCREW Organization)
        (leader ?FILMCREW ?DIRECTOR)
        (agent ?FILMMAKING ?FILMCREW)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?DIRECTOR FilmDirector)))		 Mid-level-ontology.kif 20516-20525
(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?P ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 18155-18169
(=>
    (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
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 841-862
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 546-561
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))		 Hotel.kif 346-361
(=>
    (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
        (holdsDuring ?T
            (desires ?M
                (attribute ?V Dead)))
        (instance ?MURDER Murder)
        (agent ?MURDER ?M)
        (patient ?MURDER ?V)
        (earlier ?T
            (WhenFn ?MURDER)))
    (attribute ?MURDER Premeditated))		 Law.kif 523-532
(=>
    (and
        (holdsDuring ?T1
            (attribute ?H Dieting))
        (holdsDuring ?T2
            (not
                (attribute ?H Dieting)))
        (instance ?M1 Meal)
        (instance ?E1 Eating)
        (agent ?E1 ?H)
        (resource ?E1 ?M1)
        (during
            (WhenFn ?E1) ?T1)
        (measure ?M1
            (MeasureFn ?C1 Calorie))
        (instance ?M2 Meal)
        (instance ?E2 Eating)
        (agent ?E2 ?H)
        (resource ?E2 ?M2)
        (during
            (WhenFn ?E2) ?T2)
        (measure ?M2
            (MeasureFn ?C2 Calorie)))
    (modalAttribute
        (greaterThan ?C2 ?C1) Likely))		 Mid-level-ontology.kif 30578-30599
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 9768-9790
(=>
    (and
        (instance ?A Apologizing)
        (agent ?A ?AG)
        (destination ?A ?P))
    (exists (?ACT)
        (and
            (suffers ?ACT ?P)
            (agent ?ACT ?AG)
            (holdsDuring
                (WhenFn ?A)
                (not
                    (wants ?AG ?ACT))))))		 Mid-level-ontology.kif 29536-29548

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7687-7693 An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3648-3655 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))		 Mid-level-ontology.kif 30187-30195 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))		 Merge.kif 1578-1584 Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))		 Mid-level-ontology.kif 13947-13953
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 13938-13945
(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))		 Music.kif 280-287
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))		 Mid-level-ontology.kif 13926-13936
(=>
    (and
        (attribute ?A AppraisalAsJustTreatment)
        (instance ?AJT AppraisalProcess)
        (agent ?AJT ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (wants ?A ?P))))		 emotion.kif 374-387
(=>
    (and
        (attribute ?A AppraisalAsUnjustTreatment)
        (instance ?AUJ AppraisalProcess)
        (agent ?AUJ ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AUJ ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))		 emotion.kif 349-363
(=>
    (and
        (attribute ?AC TwoFactorAuthentication)
        (loggedInDuring ?A ?AC ?T))
    (exists (?TF)
        (and
            (instance ?TF TwoFactorLoggingIn)
            (agent ?TF ?A)
            (accountUsed ?TF ?AC)
            (earlier
                (WhenFn ?TF) ?T))))		 ComputingBrands.kif 4371-4380
(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 527-546
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223
(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17183-17196
(=>
    (and
        (attribute ?OFFICER ?COR)
        (instance ?COR CommissionedOfficerRank))
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Military.kif 286-297
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 134-143
(=>
    (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 Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 20383-20405
(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Physical))
    (exists (?TRANS)
        (and
            (instance ?TRANS Buying)
            (patient ?TRANS ?ITEM)
            (agent ?TRANS ?CUST)
            (origin ?TRANS ?AGENT))))		 Mid-level-ontology.kif 29879-29888
(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Proposition))
    (exists (?TRANS ?PROC)
        (and
            (agent ?TRANS ?CUST)
            (realization ?PROC ?ITEM)
            (instance ?TRANS Buying)
            (patient ?TRANS ?PROC)
            (origin ?TRANS ?AGENT))))		 Mid-level-ontology.kif 29890-29900
(=>
    (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 153-172
(=>
    (and
        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T)))))		 Hotel.kif 684-695
(=>
    (and
        (citizen ?AGENT ?POLITY)
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY)))
    (confersRight
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY
                        (MeasureFn ?VOTINGAGE YearDuration))
                    (age ?AGENT
                        (MeasureFn ?AGE YearDuration))
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))		 Government.kif 1132-1152
(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (instance ?D Drinking)
        (agent ?D ?CUST)
        (resource ?D ?X))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (refers ?C ?X)
            (destination ?C ?AGENT))))		 Dining.kif 130-150
(=>
    (and
        (customer ?CUST ?AGENT)
        (employs ?AGENT ?X)
        (attribute ?AGENT TravelerAccommodation)
        (attribute ?X Porter)
        (possesses ?CUST ?LUGGAGE)
        (instance ?LUGGAGE TravelContainer))
    (exists (?ROOM ?CARRY)
        (and
            (instance ?ROOM HotelUnit)
            (instance ?CARRY Carrying)
            (agent ?CARRY ?X)
            (or
                (destination ?CARRY ?ROOM)
                (origin ?CARRY ?ROOM)))))		 Hotel.kif 2392-2407

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 482-495 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1241-1248 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)		 Government.kif 923-931 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)		 Government.kif 1092-1103 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?VOTER
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)		 Government.kif 1160-1174 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law


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