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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agent
Agent(agent)عَامِل, Agente, Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, agent, ahente, 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, kartaa, killer, kinatawan, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom...

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


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

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

Merge.kif 1552-1553
s__instance(s__Agent,s__SetOrClass)

Merge.kif 1551-1551 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)

Facebook.kif 632-632 AutomatedSystem is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

Robot.kif 7-7 CarryBot is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

Merge.kif 16315-16315 Commercial agent is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

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

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

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

Merge.kif 1614-1614 LegalAgent is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

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

Merge.kif 16810-16810 Organization is a subclass of agent
s__instance(s__Agent,s__SetOrClass)

Merge.kif 1561-1561 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 535-535 "agent" is the printable form of agent in english language
s__termFormat(s__FrenchLanguage,s__Agent,'agent')

french_format.kif 524-524 "agent" is the printable form of agent in french language
s__termFormat(s__Hindi,s__Agent,'kartaa')

terms-hindi.txt 55-55 "kartaa" is the printable form of agent in Hindi
s__termFormat(s__ItalianLanguage,s__Agent,'Agente')

terms-it.txt 56-56 "Agente" is the printable form of agent in italian language
s__termFormat(s__PortugueseLanguage,s__Agent,'Agente')

portuguese_format.kif 476-476 "Agente" is the printable form of agent in portuguese language
s__termFormat(s__ar__m,s__Agent,'عَامِل')

arabic_format.kif 260-260 "عَامِل" is the printable form of agent in ar
s__termFormat(s__cb__m,s__Agent,'ahente')

terms-cb.txt 60-60 "ahente" is the printable form of agent in cb
s__termFormat(s__cz__m,s__Agent,'agent')

terms-cz.txt 91-91 "agent" is the printable form of agent in cz
s__termFormat(s__tg__m,s__Agent,'kinatawan')

terms-tg.txt 59-59 "kinatawan" is the printable form of agent in tg

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 4383-4383 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 7982-7982 The number 1 argument of wealth 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 2565-2565 The number 2 argument of agent is an instance of agent
s__domain(s__agentName__m,2,s__Agent)

Media.kif 3338-3338 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 21077-21077 The number 2 argument of alias is an instance of agent
s__domain(s__areaOfResponsibility__m,1,s__Agent)

Mid-level-ontology.kif 20780-20780 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 21359-21359 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__attitudeForFormula__m,2,s__Agent)

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

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

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

Mid-level-ontology.kif 20763-20763 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

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 1734-1739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28310-28321
( ! [V__AGENT,V__ELECTION] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ELECTION,s__ElectionFn(V__AGENT)))
=>
s__agent(V__ELECTION,V__AGENT))
)

Government.kif 1660-1664
( ! [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 1727-1732
( ! [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 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__subclass(s__ElectionFn(V__AGENT)
    ,s__Election))
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__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__AUCTIONING,V__BIDDER1,V__BIDDER2,V__ITEM,V__OFFER1,V__OFFER2] :
   ((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 437-447
No TPTP formula. May not be expressible in strict first order. Merge.kif 11551-11561
( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] :
   ((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 1229-1256
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__GIVE,V__AGENT1,V__AGENT2,V__OBJ] :
   ((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 11569-11581
( ! [V__ITEM,V__LISTING,V__OWNER] :
   ((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 471-478
( ! [V__JOIN,V__AGENT,V__ORG] :
   ((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 2448-2455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
( ! [V__ORG,V__PERSON,V__ROLE] :
   ((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 1407-1413
( ! [V__PERSON,V__ROLE,V__ORG] :
   ((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 1438-1445
( ! [V__PLACE,V__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__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((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,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 3160-3186
( ! [V__REQUEST,V__ACCESSING,V__PAGE,V__AGENT,V__LISTING,V__ACESSING] :
   ((s__instance(V__REQUEST,s__ViewItemRequest) &
       s__instance(V__ACCESSING,s__Instance) &
       s__instance(V__PAGE,s__ViewItemPage) &
       s__instance(V__AGENT,s__Agent) &
       s__instance(V__LISTING,s__Advertising) &
       s__component(V__PAGE,V__LISTING)
     &
     s__destination(V__ACESSING,V__PAGE)
   &
   s__agent(V__ACCESSING,V__AGENT))
=>
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__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 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((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 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 28294-28305 Alone is an attribute of an object holds during an entity 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__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__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
s__instance(V__MEMBER,s__Agent))
)

UXExperimentalTerms.kif 3724-3728
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
s__instance(V__MEMBER,s__Agent))
)

UXExperimentalTerms.kif 3772-3776
( ! [V__AUCTIONING,V__ITEM] :
   ((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__CAPTURE,s__Capturing) &
       s__controlled(V__CAPTURE,V__OBJ))
   =>
   s__instance(V__OBJ,s__Agent))
)

Mid-level-ontology.kif 21338-21342
( ! [V__COMMENTING,V__PROCESS] :
   ((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 4552-4569
( ! [V__GROUP,V__MEMB] :
   ((s__instance(V__GROUP,s__Group) &
       s__member(V__MEMB,V__GROUP))
   =>
   s__instance(V__MEMB,s__Agent))
)

Merge.kif 16382-16386
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__represents(V__LOGO,V__OBJ))
   =>
   (s__instance(V__OBJ,s__Agent) |
     s__instance(V__OBJ,s__Product)))
)

Media.kif 895-901
( ! [V__ORG,V__F] :
   ((s__instance(V__ORG,s__Organization) &
       s__instance(V__F,s__Founding) &
       s__result(V__F,V__ORG))
   =>
   (? [V__FOUNDER] :
     (s__instance(V__FOUNDER,s__Agent) &
       s__agent(V__F,V__FOUNDER))))
)

Society.kif 232-240
( ! [V__ORG,V__AGENT] :
   ((s__instance(V__ORG,s__Organization) &
       s__member(V__AGENT,V__ORG))
   =>
   s__instance(V__AGENT,s__Agent))
)

Merge.kif 16836-16840
( ! [V__QUERY,V__SEARCHATTEMPT] :
   ((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 2633-2642
( ! [V__TRANS,V__OBJ] :
   ((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 2047-2064
( ! [V__TRANS,V__ACCOUNT1,V__ACCOUNT2] :
   ((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__ACCOUNT1,s__BusinessAccount) &
s__attribute(V__ACCOUNT2,s__BusinessAccount))))
)

UXExperimentalTerms.kif 1932-1951
( ! [V__TRANS,V__ACCOUNT1,V__ACCOUNT2] :
   ((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 1964-1983
( ! [V__TRANS,V__ACCOUNT1,V__ACCOUNT2] :
   ((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 1996-2015
( ! [V__TRANS,V__OBJ] :
   ((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 2028-2045
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__newRegisteredUsers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
s__instance(V__MEMBER,s__Agent))
)

UXExperimentalTerms.kif 3819-3823
( ! [V__OBJ,V__ATTR,V__AGENT] :
   ((s__subjectiveAttribute(V__OBJ,V__ATTR,V__AGENT)
     &
     s__instance(V__ATTR,s__TimeAttribute))
   =>
   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__BROWSER,V__SITE] :
   (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__ORG,V__ATTR] :
   (s__colocatedAgent(V__ORG,V__ATTR)
   =>
   (? [V__ORG2,V__LOC] :
     (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 735-742

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