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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agent
Agent(agent)Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, agent, 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...

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 1434-1435
s__instance(s__Agent,s__SetOrClass)

s__instance(s__Object,s__SetOrClass)

s__subclass(s__Agent,s__Object)

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

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


s__disjoint(s__Furniture,s__Agent)

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

Mid-level-ontology.kif 6371-6371 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 14976-14976 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 13006-13006 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 15027-15027 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 1488-1488 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 13293-13293 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 15410-15410 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 1442-1442 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 1639-1639 The number 1 argument of election is an instance of agent
s__domain(s__ExecutiveBranchFn__m,n__1,s__Agent)

Government.kif 1275-1275 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 4073-4073 The number 1 argument of property is an instance of agent
s__domain(s__SellersItemsFn__m,n__1,s__Agent)

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

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

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

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

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

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

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

Government.kif 2189-2189 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 21121-21121 The number 2 argument of alias is an instance of agent
s__domain(s__areaOfResponsibility__m,n__1,s__Agent)

Mid-level-ontology.kif 20824-20824 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 21403-21403 The number 2 argument of arrested is an instance of agent
s__domain(s__askPrice__m,n__3,s__Agent)

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

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

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

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

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

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

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

FinancialOntology.kif 1844-1844 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 1728-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28399-28410
( ! [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 1654-1658
( ! [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 1721-1726
( ! [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 1185-1201
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 1646-1652
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1506-1518
( ! [V__OFFER1,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] :
   ((s__instance(V__OFFER1,s__CurrencyMeasure) &
       s__instance(V__OFFER2,s__CurrencyMeasure))
     =>
     (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__patient(V__AUCTIONING,V__ITEM)
     &
     s__bidPrice(V__ITEM,V__OFFER1,V__BIDDER1)
   &
   s__bidPrice(V__ITEM,V__OFFER2,V__BIDDER2)
&
s__greaterThan(V__OFFER1,V__OFFER2))
=>
s__destination(V__AUCTIONING,V__BIDDER1)
)
)

UXExperimentalTerms.kif 435-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 10846-10856
( ! [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] :
     ((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)))
&
( ! [V__MEMBER] :
(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 1226-1253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
( ! [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 10863-10875
( ! [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 469-476
( ! [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 2442-2449
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 391-403
( ! [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 1401-1407
( ! [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 1432-1439
( ! [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_CLASS,s__SetOrClass))
     =>
     (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 1700-1722
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
( ! [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 1774-1785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
( ! [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 4053-4064
( ! [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 4170-4181

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 28381-28394 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 780-788
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object) &
       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 3731-3735
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object) &
       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 3779-3783
( ! [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 424-433
( ! [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 21382-21386
( ! [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 13543-13556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
( ! [V__GROUP,V__MEMB] :
   (s__instance(V__MEMB,s__Object) =>
     (s__instance(V__GROUP,s__Group) &
       s__member(V__MEMB,V__GROUP))
   =>
   s__instance(V__MEMB,s__Agent) )
)

Merge.kif 15031-15035
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
( ! [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__Object) =>
     (s__instance(V__ORG,s__Organization) &
       s__member(V__AGENT,V__ORG))
   =>
   s__instance(V__AGENT,s__Agent) )
)

Merge.kif 15431-15435
( ! [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 2631-2640
( ! [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 2045-2062
( ! [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 1930-1949
( ! [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 1962-1981
( ! [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 1994-2013
( ! [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 2026-2043
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object) &
       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 3826-3830
( ! [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 917-928
( ! [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 739-746
( ! [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 4546-4556

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners