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 2448-2451
(documentation agent JapaneseLanguage "(agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図 の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな決定 要因であることを意味する。例：イブは次の命題の agentag である: イブがリンゴを噛む。") japanese_format.kif 488-490
(domain agent 1 Process) Merge.kif 2444-2444 域 agent, 1 and Process
(domain agent 2 AutonomousAgent) Merge.kif 2445-2445 域 agent, 2 and AutonomousAgent
(instance agent CaseRole) Merge.kif 2442-2442 例 agent and CaseRole
(instance agent PartialValuedRelation) Merge.kif 2443-2443 例 agent and PartialValuedRelation
(subrelation agent involvedInEvent) Merge.kif 2446-2446 子關係 agent and 參與活動

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
(format FrenchLanguage agent "%1 est %n un agent de %2") french_format.kif 55-55
(format ItalianLanguage agent "%1 è %n un agente di %2") relations-it.txt 22-22
(format JapaneseLanguage agent "%2 は %1 の agent では %n") japanese_format.kif 1875-1875
(format PortugueseLanguage agent "%1 e' %n um agente de %2") portuguese_format.kif 7-7
(format cz agent "%2 %p{je} %n{nen�} p�vodcem %1") relations-cz.txt 80-80
(format de agent "%1 ist der agent von %2 %n{nicht}") relations-de.txt 62-62
(format hi agent "%1 %2 kaa kartaa %n hai") relations-hindi.txt 53-53
(format ro agent "%1 %n{nu} este un agent%t{agent} pentru %2") relations-ro.kif 74-74
(format sv agent "%1 är %n{inte} en agent till %2") relations-sv.txt 54-54
(format tg agent "%1 %n ang kumakatawan sa %2") relations-cb.txt 56-56
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 24460-24460 相關的內部概念 typicalAction and agent
(subrelation arrestingOfficer agent) Law.kif 228-228 子關係 arrestingOfficer and agent
(subrelation contestParticipant agent) Mid-level-ontology.kif 21248-21248 子關係 比賽參與者 and agent
(subrelation gainsControl agent) Mid-level-ontology.kif 25076-25076 子關係 獲得控制權 and agent
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23 子關係 入侵病毒 and agent
(subrelation perpetrator agent) Law.kif 274-274 子關係 perpetrator and agent
(subrelation plaintiff agent) Mid-level-ontology.kif 17659-17659 子關係 原告 and agent
(subrelation prosecutor agent) Law.kif 314-314 子關係 prosecutor and agent
(subrelation serviceProvider agent) Mid-level-ontology.kif 24520-24520 子關係 服務提供者 and agent
(termFormat ChineseLanguage agent "主事") chinese_format.kif 54-54 子關係 服務提供者 and agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 20408-20414
(=>
    (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 489-501
(=>
    (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 765-784
(=>
    (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 ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))		 Medicine.kif 3987-4007
(=>
    (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 27646-27659
(=>
    (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 1946-1957
(=>
    (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 738-748
(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))		 Medicine.kif 355-373
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))		 Government.kif 1812-1816
(=>
    (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
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))		 Government.kif 1550-1557
(=>
    (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 22351-22360
(=>
    (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
        (employs ?ORG ?P)
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (agent ?D ?P)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?D ?PROC)
                (suffers ?PROC ?P))) Likely))		 Medicine.kif 3023-3039
(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?DEP ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 19914-19929
(=>
    (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 847-868
(=>
    (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 548-563
(=>
    (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

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 8894-8900 AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3653-3660 CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))		 Mid-level-ontology.kif 32189-32197 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))		 Merge.kif 1611-1617 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))		 Mid-level-ontology.kif 15471-15477
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 15462-15469
(=>
    (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 15450-15460
(=>
    (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 ?A Founder)
        (instance ?A Human))
    (exists (?PROC)
        (and
            (instance ?PROC Founding)
            (agent ?PROC ?A))))		 Biography.kif 229-236
(=>
    (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 4368-4377
(=>
    (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 765-784
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4203-4227
(=>
    (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)
            (result ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17507-17520
(=>
    (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 363-374
(=>
    (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 22218-22240
(=>
    (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 31855-31864
(=>
    (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 31866-31876
(=>
    (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
        (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 688-699
(=>
    (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 1094-1114

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 456-469 例 年 and 年 Integer equal GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea
(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1203-1210 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING and 獨家男性選舉權
(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 885-893 包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER and 選民公民身份要求
(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 1054-1065 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE and 普選法
(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 1122-1136 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE and 強制選舉法
(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4566-4571 Process Entity 例 Process and Disseminating agent Process and Netflix 患者 Process and Entity 例 Entity and MotionPicture
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))		 Medicine.kif 4573-4576 Process 例 Process and 電影製作 agent Process and Netflix


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