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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agent

Sigma KEE - Agent
Agent(agent)Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, apparition, autonomous, besieger, bogey, bogie, bogy, cacodaemon, cacodemon, causal_agency, causal_agent, cause, cause_of_death, control, demiurge, destiny, deus_ex_machina, eon, eudaemon, eudemon, fantasm, fate, first_cause, ghoul, good_spirit, harasser, hoister, incarnate, jockey, juggernaut, killer, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom, presence, prime_mover, primum_mobile, specter, spectre, spirit...

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


s__documentation(s__Agent,s__ChineseLanguage,'"能够自主行动、并对世界作出改变的人和物。"')

chinese_format.kif 1683-1683
s__documentation(s__Agent,s__EnglishLanguage,'"Something or someone that can act on its own and produce changes in the world."')

Merge.kif 1440-1441
s__instance(s__Agent,s__SetOrClass)

s__instance(s__Object,s__SetOrClass)

s__subclass(s__Agent,s__Object)

Merge.kif 1438-1438 Agent is a subclass of object

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


s__disjoint(s__Furniture,s__Agent)

Mid-level-ontology.kif 3647-3647 Furniture is disjoint from agent
s__range(s__StreetAddressFn__m,s__Agent)

Mid-level-ontology.kif 6197-6197 The range of street address is an instance of agent
s__instance(s__Agent,s__SetOrClass)

s__instance(s__CommercialAgent,s__SetOrClass)

s__subclass(s__CommercialAgent,s__Agent)

Merge.kif 15397-15397 Commercial agent is a subclass of agent
s__instance(s__GeopoliticalArea,s__SetOrClass)

s__instance(s__Agent,s__SetOrClass)

s__subclass(s__GeopoliticalArea,s__Agent)

Merge.kif 13383-13383 Geopolitical area is a subclass of agent
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Group,s__Agent)

s__instance(s__Agent,s__SetOrClass)

Merge.kif 15448-15448 Group is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

s__subclass(s__ITAgent,s__Agent)

s__instance(s__ITAgent,s__SetOrClass)

engineering.kif 1304-1304 IT agent is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

s__subclass(s__LegalAgent,s__Agent)

s__instance(s__LegalAgent,s__SetOrClass)

Merge.kif 1494-1494 LegalAgent is a subclass of agent
s__subclass(s__Organism,s__Agent)

s__instance(s__Agent,s__SetOrClass)

s__instance(s__Organism,s__SetOrClass)

Merge.kif 13670-13670 Organism is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

s__subclass(s__Organization,s__Agent)

s__instance(s__Organization,s__SetOrClass)

Merge.kif 15834-15834 Organization is a subclass of agent
s__instance(s__SentientAgent,s__SetOrClass)

s__instance(s__Agent,s__SetOrClass)

s__subclass(s__SentientAgent,s__Agent)

Merge.kif 1448-1448 Sentient agent is a subclass of agent
s__termFormat(s__ChineseLanguage,s__Agent,'"施事体"')

chinese_format.kif 848-848
s__termFormat(s__EnglishLanguage,s__Agent,'"agent"')

english_format.kif 903-903

appearance as argument number 3
-------------------------


s__domain(s__AbortedFn__m,n__1,s__Agent)

MilitaryProcesses.kif 2391-2391 The number 1 argument of aborted is an instance of agent
s__domain(s__ElectionFn__m,n__1,s__Agent)

Government.kif 1671-1671 The number 1 argument of election is an instance of agent
s__domain(s__ExecutiveBranchFn__m,n__1,s__Agent)

Government.kif 1307-1307 The number 1 argument of executive branch is an instance of agent
s__domain(s__FiscalYearFn__m,n__1,s__Agent)

Economy.kif 3700-3700 The number 1 argument of fiscal year is an instance of agent
s__domain(s__FiscalYearStartingFn__m,n__1,s__Agent)

Economy.kif 3725-3725 The number 1 argument of fiscal year starting is an instance of agent
s__domain(s__PropertyFn__m,n__1,s__Agent)

Merge.kif 4129-4129 The number 1 argument of property is an instance of agent
s__domain(s__SellersItemsFn__m,n__1,s__Agent)

UXExperimentalTerms.kif 1178-1178 The number 1 argument of sellers items is an instance of agent
s__domain(s__SellersOtherItemsFn__m,n__1,s__Agent)

UXExperimentalTerms.kif 1213-1213 The number 1 argument of sellers other items is an instance of agent
s__domain(s__WealthFn__m,n__1,s__Agent)

Merge.kif 7537-7537 The number 1 argument of wealth is an instance of agent
s__domain(s__achievement__m,n__2,s__Agent)

ComputingBrands.kif 1629-1629 The number 2 argument of achievement is an instance of agent
s__domain(s__activityCapability__m,n__1,s__Agent)

Hotel.kif 575-575 The number 1 argument of activity capability is an instance of agent
s__domain(s__agent__m,n__2,s__Agent)

Merge.kif 2342-2342 The number 2 argument of agent is an instance of agent
s__domain(s__agentName__m,n__2,s__Agent)

Media.kif 3393-3393 The number 2 argument of agentName is an instance of agent
s__domain(s__agentOperatesInArea__m,n__1,s__Agent)

Government.kif 2221-2221 The number 1 argument of agent operates in area is an instance of agent
s__domain(s__alias__m,n__2,s__Agent)

Mid-level-ontology.kif 21680-21680 The number 2 argument of alias is an instance of agent
s__domain(s__areaOfResponsibility__m,n__1,s__Agent)

Mid-level-ontology.kif 21400-21400 The number 1 argument of area of responsibility is an instance of agent
s__domain(s__arrested__m,n__2,s__Agent)

Mid-level-ontology.kif 21951-21951 The number 2 argument of arrested is an instance of agent
s__domain(s__askPrice__m,n__3,s__Agent)

FinancialOntology.kif 1877-1877 The number 3 argument of ask price is an instance of agent
s__domain(s__associateInOrganization__m,n__1,s__Agent)

Government.kif 2397-2397 The number 1 argument of associate in organization is an instance of agent
s__domain(s__associateWithStatus__m,n__1,s__Agent)

Government.kif 2408-2408 The number 1 argument of associate with status is an instance of agent
s__domain(s__attitudeForFormula__m,n__2,s__Agent)

emotion.kif 2037-2037 The number 2 argument of attitudeForFormula is an instance of agent
s__domain(s__attitudeForObject__m,n__2,s__Agent)

emotion.kif 2030-2030 The number 2 argument of attitudeForObject is an instance of agent
s__domain(s__authors__m,n__1,s__Agent)

Merge.kif 14685-14685 The number 1 argument of authors is an instance of agent
s__domain(s__benefits__m,n__2,s__Agent)

Mid-level-ontology.kif 21385-21385 The number 2 argument of benefits is an instance of agent
s__domain(s__bidPrice__m,n__3,s__Agent)

FinancialOntology.kif 1857-1857 The number 3 argument of bid price is an instance of agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT,V__ORG] :
   (((s__attribute(V__AGENT,s__MemberFn(V__ORG))
     &
     s__instance(V__AGENT,s__Agent) &
     s__instance(V__ORG,s__Organization))
   =>
   (s__member(V__AGENT,V__ORG)))
)
)

Government.kif 1760-1765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28657-28668
( ! [V__AGENT,V__ELECTION] :
   ((s__instance(V__ELECTION,s__Process) =>
       (((s__instance(V__AGENT,s__Agent) &
             s__instance(V__ELECTION,s__ElectionFn(V__AGENT)))
       =>
       (s__agent(V__ELECTION,V__AGENT)))))
)
)

Government.kif 1686-1690
( ! [V__AGENT,V__ORG] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ORG,s__Organization) &
         s__member(V__AGENT,V__ORG))
     =>
     (s__attribute(V__AGENT,s__MemberFn(V__ORG))))
)
)

Government.kif 1753-1758
( ! [V__AGENT,V__SITE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       (( ? [V__COLL] :
           ((s__instance(V__COLL,s__Collection) &
               ( ! [V__LISTING] :
                 (((s__instance(V__LISTING,s__WebListing) &
                       s__hostedOn(V__LISTING,V__SITE)
                     &
                     s__listingSeller(V__LISTING,V__AGENT))
                 =>
                 (s__member(V__LISTING,V__COLL)))))
         &
         (s__SellersItemsFn(V__AGENT,V__SITE)
         = V__COLL))))))
)
)

UXExperimentalTerms.kif 1189-1205
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
( ! [V__AGENT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__subclass(s__ElectionFn(V__AGENT)
      ,s__Election))
     =>
     ((s__instance(V__AGENT,s__Organization) |
         s__instance(V__AGENT,s__GeopoliticalArea))))
   )
)

Government.kif 1678-1684
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
( ! [V__OFFER1,V__U,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] :
   (((s__instance(V__OFFER1,s__RealNumber) &
         s__instance(V__OFFER2,s__RealNumber))
       =>
       (((s__instance(V__AUCTIONING,s__Auctioning) &
             s__instance(V__BIDDER1,s__Agent) &
             s__instance(V__BIDDER2,s__Agent) &
             s__instance(V__ITEM,s__Object) &
             s__instance(V__U,s__UnitOfCurrency) &
             s__patient(V__AUCTIONING,V__ITEM)
           &
           s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U)
        ,V__BIDDER1)
       &
       s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U)
    ,V__BIDDER2)
   &
   s__greaterThan(V__OFFER1,V__OFFER2))
=>
(s__destination(V__AUCTIONING,V__BIDDER1)))))
)
)

UXExperimentalTerms.kif 437-448
No TPTP formula. May not be expressible in strict first order. Merge.kif 11129-11139
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] :
   (((s__instance(V__COLL,s__Collection) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__TIME,s__TimePoint) &
         s__listingSeller(V__LISTING,V__AGENT)
       &
       ~(s__member(V__LISTING,V__COLL))
     &
     ( ! [V__ITEM, V__MEMBER] :
       ((((s__instance(V__ITEM,s__WebListing) &
               s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
           &
           s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
       &
       ~((V__ITEM = V__LISTING)))
     =>
     (s__member(V__ITEM,V__COLL)))
&
(s__member(V__MEMBER,V__COLL)
=>
((s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
s__instance(V__MEMBER,s__WebListing))))))))
=>
((s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
= V__COLL)))
)
)

UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
( ! [V__AGENT2,V__OBJ,V__AGENT1,V__GIVE] :
   ((s__instance(V__AGENT1,s__Agent) =>
       (((s__instance(V__GIVE,s__Giving) &
             s__agent(V__GIVE,V__AGENT1)
           &
           s__destination(V__GIVE,V__AGENT2)
         &
         s__instance(V__AGENT2,s__Agent) &
         s__patient(V__GIVE,V__OBJ))
     =>
     (( ? [V__GET] :
         ((s__instance(V__GET,s__Getting) &
             s__agent(V__GET,V__AGENT2)
           &
           s__origin(V__GET,V__AGENT1)
         &
         s__patient(V__GET,V__OBJ))))))))
)
)

Merge.kif 11146-11158
( ! [V__OWNER,V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__OWNER,s__Agent) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__possesses(V__OWNER,V__ITEM))
     =>
     (s__instance(V__OWNER,s__Human)))
   )
)

UXExperimentalTerms.kif 472-479
( ! [V__AGENT,V__JOIN,V__ORG] :
   ((s__instance(V__ORG,s__Collection) =>
       (((s__instance(V__JOIN,s__JoiningAnOrganization) &
             s__instance(V__AGENT,s__Agent) &
             s__agent(V__JOIN,V__AGENT)
           &
           s__patient(V__JOIN,V__ORG)
         &
         s__instance(V__JOIN,s__Organization))
       =>
       (s__member(V__AGENT,V__ORG)))))
)
)

Government.kif 2474-2481
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
( ! [V__ORG,V__PERSON,V__ROLE] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__ORG,s__Agent) &
             s__leader(V__ORG,V__PERSON)
           &
           s__instance(V__ROLE,s__Position) &
           s__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
       =>
       (s__leaderPosition(V__ORG,V__ROLE)))))
)
)

Government.kif 1433-1439
( ! [V__ORG,V__PERSON,V__ROLE] :
   (((s__instance(V__PERSON,s__Human) &
         s__instance(V__ROLE,s__Position) &
         s__instance(V__ORG,s__Agent) &
         s__leaderPosition(V__ORG,V__ROLE)
       &
       s__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
   =>
   (s__leader(V__ORG,V__PERSON)))
)
)

Government.kif 1464-1471
( ! [V__PLACE,V__YEAR] :
   ((s__subclass(V__YEAR,s__Year) =>
       (((s__instance(V__PLACE,s__Agent) &
             s__instance(V__YEAR,s__Year))
           =>
           (s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR)
          ,s__FiscalYearFn(V__PLACE))))))
)
)

Economy.kif 3739-3743
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
( ! [V__AGENT,V__PAGE,V__REQUEST,V__ACCESSING,V__LISTING] :
   (((s__instance(V__REQUEST,s__ViewItemRequest) &
         s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__Advertising) &
         s__subProcess(V__ACCESSING,V__REQUEST)
       &
       s__component(V__PAGE,V__LISTING)
     &
     s__destination(V__ACCESSING,V__PAGE)
   &
   s__agent(V__ACCESSING,V__AGENT))
=>
(s__viewedListing(V__AGENT,V__LISTING)))
)
)

UXExperimentalTerms.kif 1777-1788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__CONTROL_GROUP] :
         ((s__instance(V__CONTROL_GROUP,s__Collection) &
             s__member(V__AGENT,V__CONTROL_GROUP)
           &
           s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4058-4069
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__TREATMENT_GROUP] :
         ((s__instance(V__TREATMENT_GROUP,s__Collection) &
             s__member(V__AGENT,V__TREATMENT_GROUP)
           &
           s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4175-4186

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28638-28651 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
( ! [V__ACCT,V__SITE] :
   (((s__instance(V__ACCT,s__UserAccount) &
         s__instance(V__SITE,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__accountAtSite(V__ACCT,V__SITE)
         =>
         (( ? [V__DATABASE, V__SITE_OWNER] :
             ((s__instance(V__DATABASE,s__Database) &
                 s__instance(V__SITE_OWNER,s__Agent) &
                 s__possesses(V__SITE,V__SITE_OWNER)
               &
               s__possesses(V__DATABASE,V__SITE_OWNER)
             &
             s__part(V__ACCT,V__DATABASE))))))))
)
)

UXExperimentalTerms.kif 784-792
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (s__instance(V__MEMBER,s__Agent)))))
)
)

UXExperimentalTerms.kif 3736-3740
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (s__instance(V__MEMBER,s__Agent)))))
)
)

UXExperimentalTerms.kif 3784-3788
( ! [V__ITEM,V__AUCTIONING] :
   (((s__instance(V__AUCTIONING,s__Auctioning) &
         s__instance(V__ITEM,s__Object) &
         s__patient(V__AUCTIONING,V__ITEM))
     =>
     (( ? [V__BIDDER, V__OFFER] :
         ((s__instance(V__BIDDER,s__Agent) &
             s__instance(V__OFFER,s__CurrencyMeasure) &
             s__bidPrice(V__ITEM,V__OFFER,V__BIDDER))))))
)
)

UXExperimentalTerms.kif 426-435
( ! [V__CAPTURE,V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__CAPTURE,s__Capturing) &
             s__controlled(V__CAPTURE,V__OBJ))
         =>
         (s__instance(V__OBJ,s__Agent)))))
   )
)

Mid-level-ontology.kif 21930-21934
( ! [V__PROCESS,V__COMMENTING] :
   (((s__instance(V__COMMENTING,s__Commenting) &
         s__instance(V__PROCESS,s__Process) &
         s__patient(V__COMMENTING,V__PROCESS))
     =>
     (( ? [V__AGENT, V__SPEAKING, V__LOOKING] :
         ((s__instance(V__AGENT,s__Agent) &
             s__instance(V__SPEAKING,s__Speaking) &
             s__instance(V__LOOKING,s__Looking) &
             s__agent(V__SPEAKING,V__AGENT)
           &
           s__agent(V__LOOKING,V__AGENT)
         &
         s__patient(V__LOOKING,V__PROCESS)
       &
       s__refers(V__SPEAKING,V__PROCESS))))))
)
)

Mid-level-ontology.kif 14415-14428
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
( ! [V__GROUP,V__MEMB] :
   ((s__instance(V__MEMB,s__Physical) =>
       (((s__instance(V__GROUP,s__Group) &
             s__member(V__MEMB,V__GROUP))
         =>
         (s__instance(V__MEMB,s__Agent)))))
   )
)

Merge.kif 15452-15456
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__LOGO,V__OBJ] :
   (((s__instance(V__LOGO,s__Logo) &
         s__represents(V__LOGO,V__OBJ))
     =>
     ((s__instance(V__OBJ,s__Agent) |
         s__instance(V__OBJ,s__Product))))
   )
)

Media.kif 895-901
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__AGENT,s__Physical) =>
       (((s__instance(V__ORG,s__Organization) &
             s__member(V__AGENT,V__ORG))
         =>
         (s__instance(V__AGENT,s__Agent)))))
   )
)

Merge.kif 15855-15859
( ! [V__SEARCHATTEMPT,V__QUERY] :
   (((s__instance(V__QUERY,s__SearchQuery) &
         s__instance(V__SEARCHATTEMPT,s__SearchAttempt) &
         s__represents(V__QUERY,V__SEARCHATTEMPT))
     =>
     (( ? [V__AGENT, V__OBJ] :
         ((s__instance(V__AGENT,s__Agent) &
             s__patient(V__SEARCHATTEMPT,V__OBJ)
           &
           s__agent(V__SEARCHATTEMPT,V__AGENT))))))
)
)

UXExperimentalTerms.kif 2636-2645
( ! [V__OBJ,V__TRANS] :
   (((s__instance(V__TRANS,s__Buying) &
         s__attribute(V__TRANS,s__CBT) &
         s__patient(V__TRANS,V__OBJ)
       &
       s__instance(V__OBJ,s__Object))
     =>
     (( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] :
         ((s__instance(V__BUYER,s__Agent) &
             s__instance(V__SELLER,s__Agent) &
             s__agent(V__TRANS,V__BUYER)
           &
           s__origin(V__TRANS,V__SELLER)
         &
         s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) &
         s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) &
         s__located(V__SELLER,V__SELLER_LOCATION)
       &
       s__located(V__BUYER,V__BUYER_LOCATION)
     &
     ~((V__BUYER_LOCATION = V__SELLER_LOCATION)))))))
)
)

UXExperimentalTerms.kif 2050-2067
( ! [V__ACC2,V__ACC1,V__TRANS] :
   (((s__instance(V__ACC2,s__Object) &
         s__instance(V__ACC1,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToBusiness))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACC1,s__BusinessAccount) &
     s__attribute(V__ACC2,s__BusinessAccount))))))))
)
)

UXExperimentalTerms.kif 1935-1954
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__BusinessAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1967-1986
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__ConsumerToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__ConsumerAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1999-2018
( ! [V__OBJ,V__TRANS] :
   (((s__instance(V__TRANS,s__Selling) &
         s__attribute(V__TRANS,s__CBT) &
         s__patient(V__TRANS,V__OBJ)
       &
       s__instance(V__OBJ,s__Object))
     =>
     (( ? [V__SELLER, V__BUYER, V__BUYER_LOCATION, V__SELLER_LOCATION] :
         ((s__instance(V__BUYER,s__Agent) &
             s__instance(V__SELLER,s__Agent) &
             s__destination(V__TRANS,V__BUYER)
           &
           s__agent(V__TRANS,V__SELLER)
         &
         s__instance(V__BUYER_LOCATION,s__GeopoliticalArea) &
         s__instance(V__SELLER_LOCATION,s__GeopoliticalArea) &
         s__located(V__SELLER,V__SELLER_LOCATION)
       &
       s__located(V__BUYER,V__BUYER_LOCATION)
     &
     ~((V__BUYER_LOCATION = V__SELLER_LOCATION)))))))
)
)

UXExperimentalTerms.kif 2031-2048
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__newRegisteredUsers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (s__instance(V__MEMBER,s__Agent)))))
)
)

UXExperimentalTerms.kif 3831-3835
( ! [V__AGENT,V__OBJ,V__ATTR] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__subjectiveAttribute(V__OBJ,V__ATTR,V__AGENT)
           &
           s__instance(V__ATTR,s__TimeAttribute))
         =>
         (s__instance(V__OBJ,s__Agent)))))
   )
)

Dining.kif 979-983
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
( ! [V__STRING,V__SITE,V__BROWSER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__BROWSER,s__Object))
       =>
       ((s__browserID(V__STRING,V__BROWSER,V__SITE)
         =>
         (( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] :
             ((s__instance(V__WEBPAGE,s__WebPage) &
                 s__component(V__WEBPAGE,V__SITE)
               &
               s__instance(V__ACCESSING,s__AccessingWebPage) &
               s__instance(V__AGENT,s__Agent) &
               s__agent(V__ACCESSING,V__AGENT)
             &
             s__instrument(V__ACCESSING,V__BROWSER)
           &
           s__destination(V__ACCESSING,V__WEBPAGE)
         &
         s__represents(V__STRING,V__AGENT))))))))
)
)

UXExperimentalTerms.kif 921-932
( ! [V__ATTR,V__ORG] :
   (((s__instance(V__ATTR,s__RelationalAttribute) &
         s__instance(V__ORG,s__Agent))
       =>
       ((s__colocatedAgent(V__ORG,V__ATTR)
         =>
         (( ? [V__ORG2, V__LOC] :
             ((s__instance(V__LOC,s__Object) &
                 (s__instance(V__ORG2,s__Agent) &
                   s__attribute(V__ORG2,V__ATTR)
                 &
                 s__located(V__ORG,V__LOC)
               &
               s__located(V__ORG2,V__LOC)))))))))
)
)

Hotel.kif 745-752
( ! [V__EXP,V__PROC] :
   (((s__instance(V__EXP,s__Experimenting) &
         s__instance(V__PROC,s__Process))
       =>
       ((s__exclusiveEvent(V__EXP,V__PROC)
         =>
         (( ? [V__EVP, V__AGENT] :
             ((s__instance(V__EVP,s__Process) &
                 s__instance(V__AGENT,s__Agent) &
                 s__treatedUser(V__AGENT,V__EXP)
               &
               s__experimentalVariableProcess(V__EXP,V__EVP)
             &
             s__experiencer(V__PROC,V__AGENT)
           &
           s__experiencer(V__EVP,V__AGENT)
         &
         s__earlier(s__WhenFn(V__EVP)
      ,s__WhenFn(V__PROC)))))))))
)
)

UXExperimentalTerms.kif 4549-4559

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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