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,'能够自主行动、并对世界作出改变的人和物。')

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

Merge.kif 1564-1565
s__instance(s__Agent,s__SetOrClass)

s__instance(s__Object,s__SetOrClass)

s__subclass(s__Agent,s__Object)

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

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


s__range(s__StreetAddressFn__m,s__Agent)

Mid-level-ontology.kif 6372-6372 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 16367-16367 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 14056-14056 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 16428-16428 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 1300-1300 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 1626-1626 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 14393-14393 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 16862-16862 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 1573-1573 Sentient agent is a subclass of agent
s__termFormat(s__ChineseLanguage,s__Agent,'施事体')

chinese_format.kif 848-848 "施事体" is the printable form of agent in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Agent,'agent')

english_format.kif 605-605 "agent" is the printable form of agent in english language
s__termFormat(s__JapaneseLanguage,s__Agent,'代理(人)')

english_format.kif 606-606 "代理(人)" is the printable form of agent in japanese language

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


s__domain(s__AbortedFn__m,1,s__Agent)

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

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

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

Economy.kif 3700-3700 The number 1 argument of fiscal year is an instance of agent
s__domain(s__FiscalYearStartingFn__m,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,1,s__Agent)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FinancialOntology.kif 1846-1846 The number 3 argument of bid price is an instance of agent
s__domain(s__broker__m,2,s__Agent)

UXExperimentalTerms.kif 1891-1891 The number 2 argument of broker is an instance of agent
s__domain(s__businessHours__m,2,s__Agent)

Dining.kif 360-360 The number 2 argument of business hours 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__and__ms__instance(V__AGENT,s__Agent)s__and__ms__instance(V__ORG,s__Organization))
s__=>s__member(V__AGENT,V__ORG))
)

Government.kif 1734-1739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28390-28401
( ! [V__ELECTION,V__AGENT] :
   (s__instance(V__ELECTION,s__Process)s__=>((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__ELECTION,s__ElectionFn(V__AGENT)))
  s__=>s__agent(V__ELECTION,V__AGENT)))
)

Government.kif 1660-1664
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__ORG,s__Organization)s__and__ms__member(V__AGENT,V__ORG))
  s__=>s__attribute(V__AGENT,s__MemberFn(V__ORG)))
)

Government.kif 1727-1732
( ! [V__AGENT,V__SITE] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__SITE,s__WebSite))
    s__=>(s__exists__m[V__COLL] :
       (s__instance(V__COLL,s__Collection)s__and__m(s__forall__m[V__LISTING] :
         ((s__instance(V__LISTING,s__WebListing)s__and__ms__hostedOn(V__LISTING,V__SITE)
          s__and__ms__listingSeller(V__LISTING,V__AGENT))
      s__=>s__member(V__LISTING,V__COLL)))
s__and__m(s__SellersItemsFn(V__AGENT,V__SITE)
s__equal__mV__COLL))))
)

UXExperimentalTerms.kif 1188-1204
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__subclass(s__ElectionFn(V__AGENT)
    ,s__Election))
  s__=>(s__instance(V__AGENT,s__Organization)s__or__ms__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
( ! [V__OFFER1,V__OFFER2,V__AUCTIONING,V__BIDDER1,V__BIDDER2,V__ITEM] :
   ((s__instance(V__OFFER1,s__CurrencyMeasure)s__and__ms__instance(V__OFFER2,s__CurrencyMeasure))
    s__=>((s__instance(V__AUCTIONING,s__Auctioning)s__and__ms__instance(V__BIDDER1,s__Agent)s__and__ms__instance(V__BIDDER2,s__Agent)s__and__ms__instance(V__ITEM,s__Object)s__and__ms__patient(V__AUCTIONING,V__ITEM)
      s__and__ms__bidPrice(V__ITEM,V__OFFER1,V__BIDDER1)
    s__and__ms__bidPrice(V__ITEM,V__OFFER2,V__BIDDER2)
  s__and__ms__greaterThan(V__OFFER1,V__OFFER2))
s__=>s__destination(V__AUCTIONING,V__BIDDER1)))
)

UXExperimentalTerms.kif 437-447
No TPTP formula. May not be expressible in strict first order. Merge.kif 11609-11619
( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] :
   ((s__instance(V__COLL,s__Collection)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__instance(V__LISTING,s__WebListing)s__and__ms__instance(V__TIME,s__TimePoint)s__and__ms__listingSeller(V__LISTING,V__AGENT)
    s__and__m(s__not__ms__member(V__LISTING,V__COLL))
s__and__m(s__forall__m[V__ITEM] :
((s__instance(V__ITEM,s__WebListing)s__and__ms__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
s__and__ms__temporalPart(V__TIME,s__WhenFn(V__ITEM))
s__and__m(s__not__m(V__ITEMs__equal__mV__LISTING)))
s__=>s__member(V__ITEM,V__COLL)))
s__and__m(s__forall__m[V__MEMBER] :
(s__member(V__MEMBER,V__COLL)
s__=>(s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
s__and__ms__instance(V__MEMBER,s__WebListing)))))
s__=>(s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
s__equal__mV__COLL))
)

UXExperimentalTerms.kif 1229-1256
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__AGENT1,V__GIVE,V__AGENT2,V__OBJ] :
   (s__instance(V__AGENT1,s__Agent)s__=>((s__instance(V__GIVE,s__Giving)s__and__ms__agent(V__GIVE,V__AGENT1)
      s__and__ms__destination(V__GIVE,V__AGENT2)
    s__and__ms__instance(V__AGENT2,s__Agent)s__and__ms__patient(V__GIVE,V__OBJ))
s__=>(s__exists__m[V__GET] :
   (s__instance(V__GET,s__Getting)s__and__ms__agent(V__GET,V__AGENT2)
  s__and__ms__origin(V__GET,V__AGENT1)
s__and__ms__patient(V__GET,V__OBJ)))))
)

Merge.kif 11627-11639
( ! [V__ITEM,V__LISTING,V__OWNER] :
   ((s__instance(V__ITEM,s__Object)s__and__ms__instance(V__LISTING,s__WebListing)s__and__ms__instance(V__OWNER,s__Agent)s__and__ms__attribute(V__LISTING,s__ForSaleByOwner)s__and__ms__possesses(V__OWNER,V__ITEM))
  s__=>s__instance(V__OWNER,s__Human))
)

UXExperimentalTerms.kif 471-478
( ! [V__ORG,V__JOIN,V__AGENT] :
   (s__instance(V__ORG,s__Collection)s__=>((s__instance(V__JOIN,s__JoiningAnOrganization)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__agent(V__JOIN,V__AGENT)
      s__and__ms__patient(V__JOIN,V__ORG)
    s__and__ms__instance(V__JOIN,s__Organization))
  s__=>s__member(V__AGENT,V__ORG)))
)

Government.kif 2448-2455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
( ! [V__PERSON,V__ORG,V__ROLE] :
   (s__instance(V__PERSON,s__Human)s__=>((s__instance(V__ORG,s__Agent)s__and__ms__leader(V__ORG,V__PERSON)
      s__and__ms__instance(V__ROLE,s__Position)s__and__ms__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
  s__=>s__leaderPosition(V__ORG,V__ROLE)))
)

Government.kif 1407-1413
( ! [V__PERSON,V__ROLE,V__ORG] :
   ((s__instance(V__PERSON,s__Human)s__and__ms__instance(V__ROLE,s__Position)s__and__ms__instance(V__ORG,s__Agent)s__and__ms__leaderPosition(V__ORG,V__ROLE)
    s__and__ms__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
s__=>s__leader(V__ORG,V__PERSON))
)

Government.kif 1438-1445
( ! [V__YEAR,V__PLACE] :
   (s__subclass(V__YEAR,s__Year)s__=>((s__instance(V__PLACE,s__Agent)s__and__ms__instance(V__YEAR,s__Year))
      s__=>s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR)
    ,s__FiscalYearFn(V__PLACE))))
)

Economy.kif 3739-3743
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((s__instance(V__PROCESS,s__TimeInterval)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__instance(V__PROCESS_CLASS,s__Class)s__and__ms__instance(V__PROCESS_CLASS,s__SetOrClass))
    s__=>((s__instance(V__PROCESS,V__PROCESS_CLASS)
      s__and__ms__subclass(V__PROCESS_CLASS,s__Process)s__and__ms__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__agent(V__PROCESS,V__AGENT)
    s__and__ms__agent(V__ACCESSING,V__AGENT)
  s__and__ms__during(V__PROCESS,V__ACCESSING)
s__and__ms__instance(V__TIMETOFIRST,s__TimeInterval)s__and__m(s__not__m(s__exists__m[V__PROCESS2] :
(s__instance(V__PROCESS2,s__TimeInterval)s__and__ms__instance(V__PROCESS2,s__Process)s__and__m(s__instance(V__PROCESS2,V__PROCESS_CLASS)
s__and__ms__agent(V__PROCESS2,V__AGENT)
s__and__ms__during(V__PROCESS2,V__ACCESSING)
s__and__ms__before(s__BeginFn(s__WhenFn(V__PROCESS2))
,s__BeginFn(s__WhenFn(V__PROCESS)))))))
s__and__m(s__BeginFn(s__WhenFn(V__ACCESSING))
s__equal__ms__BeginFn(s__WhenFn(V__TIMETOFIRST)))
s__and__m(s__BeginFn(s__WhenFn(V__PROCESS))
s__equal__ms__EndFn(s__WhenFn(V__TIMETOFIRST))))
s__=>(s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
s__equal__mV__TIMETOFIRST)))
)

UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
( ! [V__ACESSING,V__REQUEST,V__ACCESSING,V__PAGE,V__AGENT,V__LISTING] :
   (s__instance(V__ACESSING,s__Process)s__=>((s__instance(V__REQUEST,s__ViewItemRequest)s__and__ms__instance(V__ACCESSING,s__Instance)s__and__ms__instance(V__PAGE,s__ViewItemPage)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__instance(V__LISTING,s__Advertising)s__and__ms__component(V__PAGE,V__LISTING)
      s__and__ms__destination(V__ACESSING,V__PAGE)
    s__and__ms__agent(V__ACCESSING,V__AGENT))
s__=>s__viewedListing(V__AGENT,V__LISTING)))
)

UXExperimentalTerms.kif 1777-1787
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process)s__and__ms__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__experiencer(V__AGENT,s__Agent)s__and__ms__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
  s__=>(s__exists__m[V__CONTROL_GROUP] :
     (s__instance(V__CONTROL_GROUP,s__Collection)s__and__ms__member(V__AGENT,V__CONTROL_GROUP)
    s__and__ms__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process)s__and__ms__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__experiencer(V__AGENT,s__Agent)s__and__ms__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
  s__=>(s__exists__m[V__TREATMENT_GROUP] :
     (s__instance(V__TREATMENT_GROUP,s__Collection)s__and__ms__member(V__AGENT,V__TREATMENT_GROUP)
    s__and__ms__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4163-4174

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 28374-28385 Alone is an attribute of an entity holds during a time position if and only if there don't exist another entity and a process such that a third entity is not equal to the other entity and the other entity is an instance of agent and the process is an instance of social interaction and the third entity is an involved in event of the process and the other entity is an involved in event of the process
( ! [V__ACCT,V__SITE] :
   ((s__instance(V__ACCT,s__UserAccount)s__and__ms__instance(V__SITE,s__Agent)s__and__ms__instance(V__SITE,s__Website))
    s__=>(s__accountAtSite(V__ACCT,V__SITE)
    s__=>(s__exists__m[V__DATABASE,V__SITE_OWNER] :
       (s__instance(V__DATABASE,s__Database)s__and__ms__instance(V__SITE_OWNER,s__Agent)s__and__ms__possesses(V__SITE,V__SITE_OWNER)
      s__and__ms__possesses(V__DATABASE,V__SITE_OWNER)
    s__and__ms__part(V__ACCT,V__DATABASE)))))
)

UXExperimentalTerms.kif 784-792
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval))
    s__=>((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
      s__and__ms__member(V__MEMBER,V__COLL))
  s__=>s__instance(V__MEMBER,s__Agent)))
)

UXExperimentalTerms.kif 3724-3728
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval))
    s__=>((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
      s__and__ms__member(V__MEMBER,V__COLL))
  s__=>s__instance(V__MEMBER,s__Agent)))
)

UXExperimentalTerms.kif 3772-3776
( ! [V__AUCTIONING,V__ITEM] :
   ((s__instance(V__AUCTIONING,s__Auctioning)s__and__ms__instance(V__ITEM,s__Object)s__and__ms__patient(V__AUCTIONING,V__ITEM))
  s__=>(s__exists__m[V__BIDDER,V__OFFER] :
     (s__instance(V__BIDDER,s__Agent)s__and__ms__instance(V__OFFER,s__CurrencyMeasure)s__and__ms__bidPrice(V__ITEM,V__OFFER,V__BIDDER))))
)

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

Mid-level-ontology.kif 21369-21373
( ! [V__COMMENTING,V__PROCESS] :
   ((s__instance(V__COMMENTING,s__Commenting)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__patient(V__COMMENTING,V__PROCESS))
  s__=>(s__exists__m[V__AGENT,V__SPEAKING,V__LOOKING] :
     (s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__SPEAKING,s__Speaking)s__and__ms__instance(V__LOOKING,s__Looking)s__and__ms__agent(V__SPEAKING,V__AGENT)
    s__and__ms__agent(V__LOOKING,V__AGENT)
  s__and__ms__patient(V__LOOKING,V__PROCESS)
s__and__ms__refers(V__SPEAKING,V__PROCESS))))
)

Mid-level-ontology.kif 13543-13556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__MEMB,V__GROUP] :
   (s__instance(V__MEMB,s__Object)s__=>((s__instance(V__GROUP,s__Group)s__and__ms__member(V__MEMB,V__GROUP))
    s__=>s__instance(V__MEMB,s__Agent)))
)

Merge.kif 16434-16438
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
( ! [V__LOGO,V__OBJ] :
   ((s__instance(V__LOGO,s__Logo)s__and__ms__represents(V__LOGO,V__OBJ))
  s__=>(s__instance(V__OBJ,s__Agent)s__or__ms__instance(V__OBJ,s__Product)))
)

Media.kif 895-901
( ! [V__AGENT,V__ORG] :
   (s__instance(V__AGENT,s__Object)s__=>((s__instance(V__ORG,s__Organization)s__and__ms__member(V__AGENT,V__ORG))
    s__=>s__instance(V__AGENT,s__Agent)))
)

Merge.kif 16888-16892
( ! [V__QUERY,V__SEARCHATTEMPT] :
   ((s__instance(V__QUERY,s__SearchQuery)s__and__ms__instance(V__SEARCHATTEMPT,s__SearchAttempt)s__and__ms__represents(V__QUERY,V__SEARCHATTEMPT))
  s__=>(s__exists__m[V__AGENT,V__OBJ] :
     (s__instance(V__AGENT,s__Agent)s__and__ms__patient(V__SEARCHATTEMPT,V__OBJ)
    s__and__ms__agent(V__SEARCHATTEMPT,V__AGENT))))
)

UXExperimentalTerms.kif 2633-2642
( ! [V__TRANS,V__OBJ] :
   ((s__instance(V__TRANS,s__Buying)s__and__ms__attribute(V__TRANS,s__CBT)s__and__ms__patient(V__TRANS,V__OBJ)
    s__and__ms__instance(V__OBJ,s__Object))
  s__=>(s__exists__m[V__SELLER,V__BUYER,V__BUYER_LOCATION,V__SELLER_LOCATION] :
     (s__instance(V__BUYER,s__Agent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__agent(V__TRANS,V__BUYER)
    s__and__ms__origin(V__TRANS,V__SELLER)
  s__and__ms__instance(V__BUYER_LOCATION,s__GeoPoliticalArea)s__and__ms__instance(V__SELLER_LOCATION,s__GeoPoliticalArea)s__and__ms__located(V__SELLER,V__SELLER_LOCATION)
s__and__ms__located(V__BUYER,V__BUYER_LOCATION)
s__and__m(s__not__m(V__BUYER_LOCATIONs__equal__mV__SELLER_LOCATION)))))
)

UXExperimentalTerms.kif 2047-2064
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   ((s__instance(V__ACCOUNT1,s__Object)s__and__ms__instance(V__ACCOUNT2,s__Object))
    s__=>((s__instance(V__TRANS,s__FinancialTransaction)s__and__ms__attribute(V__TRANS,s__BusinessToBusiness))
      s__=>(s__exists__m[V__ACCT1,V__ACCT2,V__USER1,V__USER2,V__SITE] :
         (s__instance(V__ACCT1,s__UserAccount)s__and__ms__instance(V__ACCT2,s__UserAccount)s__and__ms__instance(V__USER1,s__Agent)s__and__ms__instance(V__USER2,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__agent(V__TRANS,V__USER1)
        s__and__ms__destination(V__TRANS,V__USER2)
      s__and__ms__instrument(V__TRANS,V__SITE)
    s__and__ms__hasAccount(V__USER1,V__ACCT1)
  s__and__ms__hasAccount(V__USER2,V__ACCT2)
s__and__ms__accountAtSite(V__ACCT1,V__SITE)
s__and__ms__accountAtSite(V__ACCT2,V__SITE)
s__and__ms__attribute(V__ACCOUNT1,s__BusinessAccount)s__and__ms__attribute(V__ACCOUNT2,s__BusinessAccount)))))
)

UXExperimentalTerms.kif 1932-1951
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   ((s__instance(V__ACCOUNT1,s__Object)s__and__ms__instance(V__ACCOUNT2,s__Object))
    s__=>((s__instance(V__TRANS,s__FinancialTransaction)s__and__ms__attribute(V__TRANS,s__BusinessToConsumer))
      s__=>(s__exists__m[V__ACCT1,V__ACCT2,V__USER1,V__USER2,V__SITE] :
         (s__instance(V__ACCT1,s__UserAccount)s__and__ms__instance(V__ACCT2,s__UserAccount)s__and__ms__instance(V__USER1,s__Agent)s__and__ms__instance(V__USER2,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__agent(V__TRANS,V__USER1)
        s__and__ms__destination(V__TRANS,V__USER2)
      s__and__ms__instrument(V__TRANS,V__SITE)
    s__and__ms__hasAccount(V__USER1,V__ACCT1)
  s__and__ms__hasAccount(V__USER2,V__ACCT2)
s__and__ms__accountAtSite(V__ACCT1,V__SITE)
s__and__ms__accountAtSite(V__ACCT2,V__SITE)
s__and__ms__attribute(V__ACCOUNT1,s__BusinessAccount)s__and__ms__attribute(V__ACCOUNT2,s__ConsumerAccount)))))
)

UXExperimentalTerms.kif 1964-1983
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   ((s__instance(V__ACCOUNT1,s__Object)s__and__ms__instance(V__ACCOUNT2,s__Object))
    s__=>((s__instance(V__TRANS,s__FinancialTransaction)s__and__ms__attribute(V__TRANS,s__ConsumerToConsumer))
      s__=>(s__exists__m[V__ACCT1,V__ACCT2,V__USER1,V__USER2,V__SITE] :
         (s__instance(V__ACCT1,s__UserAccount)s__and__ms__instance(V__ACCT2,s__UserAccount)s__and__ms__instance(V__USER1,s__Agent)s__and__ms__instance(V__USER2,s__Agent)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__agent(V__TRANS,V__USER1)
        s__and__ms__destination(V__TRANS,V__USER2)
      s__and__ms__instrument(V__TRANS,V__SITE)
    s__and__ms__hasAccount(V__USER1,V__ACCT1)
  s__and__ms__hasAccount(V__USER2,V__ACCT2)
s__and__ms__accountAtSite(V__ACCT1,V__SITE)
s__and__ms__accountAtSite(V__ACCT2,V__SITE)
s__and__ms__attribute(V__ACCOUNT1,s__ConsumerAccount)s__and__ms__attribute(V__ACCOUNT2,s__ConsumerAccount)))))
)

UXExperimentalTerms.kif 1996-2015
( ! [V__TRANS,V__OBJ] :
   ((s__instance(V__TRANS,s__Selling)s__and__ms__attribute(V__TRANS,s__CBT)s__and__ms__patient(V__TRANS,V__OBJ)
    s__and__ms__instance(V__OBJ,s__Object))
  s__=>(s__exists__m[V__SELLER,V__BUYER,V__BUYER_LOCATION,V__SELLER_LOCATION] :
     (s__instance(V__BUYER,s__Agent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__destination(V__TRANS,V__BUYER)
    s__and__ms__agent(V__TRANS,V__SELLER)
  s__and__ms__instance(V__BUYER_LOCATION,s__GeoPoliticalArea)s__and__ms__instance(V__SELLER_LOCATION,s__GeoPoliticalArea)s__and__ms__located(V__SELLER,V__SELLER_LOCATION)
s__and__ms__located(V__BUYER,V__BUYER_LOCATION)
s__and__m(s__not__m(V__BUYER_LOCATIONs__equal__mV__SELLER_LOCATION)))))
)

UXExperimentalTerms.kif 2028-2045
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   ((s__instance(V__MEMBER,s__Object)s__and__ms__instance(V__SITE,s__WebSite)s__and__ms__instance(V__COLL,s__Collection)s__and__ms__instance(V__INT,s__TimeInterval))
    s__=>((s__newRegisteredUsers(V__INT,V__SITE,V__COLL)
      s__and__ms__member(V__MEMBER,V__COLL))
  s__=>s__instance(V__MEMBER,s__Agent)))
)

UXExperimentalTerms.kif 3819-3823
( ! [V__AGENT,V__OBJ,V__ATTR] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__subjectiveAttribute(V__OBJ,V__ATTR,V__AGENT)
      s__and__ms__instance(V__ATTR,s__TimeAttribute))
    s__=>s__instance(V__OBJ,s__Agent)))
)

Dining.kif 983-987
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
( ! [V__STRING,V__SITE,V__BROWSER] :
   ((s__instance(V__STRING,s__Identifier)s__and__ms__instance(V__SITE,s__Website)s__and__ms__instance(V__SITE,s__CorpuscularObject)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__BROWSER,s__Object))
    s__=>(s__browserID(V__STRING,V__BROWSER,V__SITE)
    s__=>(s__exists__m[V__WEBPAGE,V__ACCESSING,V__AGENT] :
       (s__instance(V__WEBPAGE,s__WebPage)s__and__ms__component(V__WEBPAGE,V__SITE)
      s__and__ms__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__agent(V__ACCESSING,V__AGENT)
    s__and__ms__instrument(V__ACCESSING,V__BROWSER)
  s__and__ms__destination(V__ACCESSING,V__WEBPAGE)
s__and__ms__represents(V__STRING,V__AGENT)))))
)

UXExperimentalTerms.kif 921-932
( ! [V__ATTR,V__ORG] :
   ((s__instance(V__ATTR,s__RelationalAttribute)s__and__ms__instance(V__ORG,s__Agent))
    s__=>(s__colocatedAgent(V__ORG,V__ATTR)
    s__=>(s__exists__m[V__ORG2,V__LOC] :
       (s__instance(V__LOC,s__Object)s__and__m(s__instance(V__ORG2,s__Agent)s__and__ms__attribute(V__ORG2,V__ATTR)
      s__and__ms__located(V__ORG,V__LOC)
    s__and__ms__located(V__ORG2,V__LOC))))))
)

Hotel.kif 735-742
( ! [V__EXP,V__PROC] :
   ((s__instance(V__EXP,s__Experimenting)s__and__ms__instance(V__PROC,s__Process))
    s__=>(s__exclusiveEvent(V__EXP,V__PROC)
    s__=>(s__exists__m[V__EVP,V__AGENT] :
       (s__instance(V__EVP,s__Process)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__treatedUser(V__AGENT,V__EXP)
      s__and__ms__experimentalVariableProcess(V__EXP,V__EVP)
    s__and__ms__experiencer(V__PROC,V__AGENT)
  s__and__ms__experiencer(V__EVP,V__AGENT)
s__and__ms__earlier(s__WhenFn(V__EVP)
,s__WhenFn(V__PROC))))))
)

UXExperimentalTerms.kif 4540-4550

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