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

Formal Language: 



KB Term:  Term intersection
English Word: 

  patient

Sigma KEE - patient
patient

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


s__documentation(s__patient__m,s__ChineseLanguage,'(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如:在那只猫吞掉了那只金丝雀和比利喜欢这啤酒 的直接受事体会是 patient 的例子。注:一个Processpatient 可能会也可能不会因为该 Process 而经历结构上的变化。用 patient 这个 CaseRole 是当我们想尽可能以最广泛的代表来 要指出 Process 的受事体。')

Merge.kif 2662-2666
s__documentation(s__patient__m,s__EnglishLanguage,'(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences The cat swallowed the canary and Billy likes the beer would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process.')

Merge.kif 2654-2661
s__domain(s__patient__m,1,s__Process)

Merge.kif 2651-2651 The number 1 argument of patient is an instance of process
s__domain(s__patient__m,2,s__Entity)

Merge.kif 2652-2652 The number 2 argument of patient is an instance of entity
s__instance(s__patient__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2649-2649 patient is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__patient__m,s__PartialValuedRelation)

Merge.kif 2650-2650 patient is an instance of partial valued relation
s__subrelation(s__patient__m,s__involvedInEvent__m)

Merge.kif 2653-2653 patient is a subrelation of involved in event

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


s__format(s__ChineseLanguage,s__patient__m,'%2 %n 是 %1 的 patient')

chinese_format.kif 167-167
s__format(s__EnglishLanguage,s__patient__m,'%2 is %n a patient of %1')

english_format.kif 110-110
s__subrelation(s__controlled__m,s__patient__m)

Mid-level-ontology.kif 21338-21338 controlled is a subrelation of patient
s__subrelation(s__dataProcessed__m,s__patient__m)

QoSontology.kif 1869-1869 data processed is a subrelation of patient
s__subrelation(s__defendant__m,s__patient__m)

Mid-level-ontology.kif 13911-13911 defendant is a subrelation of patient
s__subrelation(s__defenseLawyer__m,s__patient__m)

Law.kif 320-320 defense lawyer is a subrelation of patient
s__subrelation(s__detainee__m,s__patient__m)

Mid-level-ontology.kif 6445-6445 detainee is a subrelation of patient
s__subrelation(s__evidence__m,s__patient__m)

Law.kif 210-210 evidence is a subrelation of patient
s__subrelation(s__experimentalControl__m,s__patient__m)

Mid-level-ontology.kif 13375-13375 experimental control is a subrelation of patient
s__subrelation(s__instrument__m,s__patient__m)

Merge.kif 2619-2619 instrument is a subrelation of patient
s__subrelation(s__objectTransferred__m,s__patient__m)

Mid-level-ontology.kif 27614-27614 objectTransferred is a subrelation of patient
s__subrelation(s__plays__m,s__patient__m)

ComputingBrands.kif 1581-1581 plays is a subrelation of patient
s__subrelation(s__referee__m,s__patient__m)

ComputingBrands.kif 1569-1569 referee is a subrelation of patient
s__subrelation(s__resource__m,s__patient__m)

Merge.kif 2668-2668 resource is a subrelation of patient
s__subrelation(s__resourceUsed__m,s__patient__m)

QoSontology.kif 1979-1979 resource used is a subrelation of patient
s__subrelation(s__result__m,s__patient__m)

Merge.kif 2713-2713 result is a subrelation of patient
s__subrelation(s__targetInAttack__m,s__patient__m)

Mid-level-ontology.kif 6451-6451 target in attack is a subrelation of patient
s__subrelation(s__transported__m,s__patient__m)

Mid-level-ontology.kif 20738-20738 transported is a subrelation of patient
s__subrelation(s__victim__m,s__patient__m)

Law.kif 297-297 victim is a subrelation of patient
s__subrelation(s__witness__m,s__patient__m)

Law.kif 248-248 witness is a subrelation of patient
s__termFormat(s__ChineseLanguage,s__patient__m,'受事')

chinese_format.kif 168-168 "受事" is the printable form of patient in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__patient__m,'patient')

domainEnglishFormat.kif 7886-7886 "patient" is the printable form of patient in english language

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


( ∀ [V__AGENT2,V__AGENT1,V__OBJECT]
   ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent))
    s__=>((s__exists__m[V__BORROW]
         (s__instance(V__BORROW,s__Borrowing)s__and__ms__agent(V__BORROW,V__AGENT1)
        s__and__ms__origin(V__BORROW,V__AGENT2)
      s__and__ms__patient(V__BORROW,V__OBJECT)))
s__<⇒
(s__exists__m[V__LEND]
   (s__instance(V__LEND,s__Lending)s__and__ms__agent(V__LEND,V__AGENT2)
  s__and__ms__destination(V__LEND,V__AGENT1)
s__and__ms__patient(V__LEND,V__OBJECT)))))
)

Merge.kif 11691-11703 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ∀ [V__AGENT2,V__AGENT1,V__OBJECT]
   ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent))
    s__=>((s__exists__m[V__BUY]
         (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1)
        s__and__ms__origin(V__BUY,V__AGENT2)
      s__and__ms__patient(V__BUY,V__OBJECT)))
s__<⇒
(s__exists__m[V__SELL]
   (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2)
  s__and__ms__destination(V__SELL,V__AGENT1)
s__and__ms__patient(V__SELL,V__OBJECT)))))
)

Merge.kif 11872-11884 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ∀ [V__REGION]
   ((s__exists__m[V__EMIT]
       (s__instance(V__EMIT,s__RadiatingLight)s__and__ms__patient(V__EMIT,V__REGION)
      s__and__ms__instance(V__REGION,s__Region)))
  s__<⇒
  s__attribute(V__REGION,s__Illuminated))
)

Merge.kif 13627-13633 There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18415-18422
( ∀ [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer]
   ((s__instance(V__Object,s__Physical)s__and__ms__instance(V__Seller,s__Object)s__and__ms__instance(V__Money,s__CurrencyMeasure)s__and__ms__instance(V__Purchase,s__Process)s__and__ms__instance(V__Buyer,s__Agent))
    s__=>((s__agent(V__Purchase,V__Buyer)
      s__and__ms__origin(V__Purchase,V__Seller)
    s__and__ms__patient(V__Purchase,V__Object)
  s__and__ms__monetaryValue(V__Object,V__Money))
s__=>(s__exists__m[V__Payment]
(s__subProcess(V__Payment,V__Purchase)
s__and__ms__instance(V__Payment,s__Payment)s__and__ms__transactionAmount(V__Payment,V__Money)
s__and__ms__destination(V__Payment,V__Seller)))))
)

FinancialOntology.kif 465-476
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ∀ [V__CONFIDENCE,V__EXPERIMENT,V__EXPERIMENTING,V__FORMULA]
   ((s__instance(V__CONFIDENCE,s__RealNumber)s__and__ms__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__instance(V__EXPERIMENTING,s__SetOrClass))
    s__=>((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
      s__and__ms__instance(V__EXPERIMENT,V__EXPERIMENTING)
    s__and__ms__instance(V__FORMULA,s__Formula)s__and__ms__patient(V__EXPERIMENT,V__FORMULA)
  s__and__m(V__CONFIDENCEs__equal__m100))
s__=>s__truth(V__FORMULA,'$false__m')))
)

UXExperimentalTerms.kif 680-687
( ∀ [V__CONFIDENCE,V__EXPERIMENT,V__EXPERIMENTING,V__FORMULA]
   ((s__instance(V__CONFIDENCE,s__RealNumber)s__and__ms__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__instance(V__EXPERIMENTING,s__SetOrClass))
    s__=>((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
      s__and__ms__instance(V__EXPERIMENT,V__EXPERIMENTING)
    s__and__ms__instance(V__FORMULA,s__Formula)s__and__ms__patient(V__EXPERIMENT,V__FORMULA)
  s__and__m(V__CONFIDENCEs__equal__m100))
s__=>s__truth(V__FORMULA,'$true__m')))
)

UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Cars.kif 802-815
( ∀ [V__MSG,V__TELEX,V__M]
   ((s__destination(V__MSG,V__TELEX)
    s__and__ms__instance(V__MSG,s__Messaging)s__and__ms__patient(V__MSG,V__M)
  s__and__ms__instance(V__TELEX,s__Telex))
s__=>(s__exists__m[V__PROC,V__TEXT]
   (s__instance(V__PROC,s__Process)s__and__m(s__instrument(V__PROC,V__TELEX)
  s__and__ms__result(V__PROC,V__TEXT)
s__and__ms__represents(V__TEXT,V__M)
s__and__ms__instance(V__TEXT,s__Text)s__and__ms__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC)))))))
)

Communications.kif 202-214
( ∀ [V__TEXT,V__EDITION1,V__EDITION2,V__INT2,V__DATE1,V__INT1,V__DATE2,V__PUB1,V__PUB2,V__CBO1,V__CBO2]
   ((s__subclass(V__TEXT,s__ContentBearingObject)s__and__ms__subclass(V__EDITION1,s__ContentBearingObject)s__and__ms__instance(V__EDITION1,s__SetOrClass)s__and__ms__subclass(V__EDITION2,s__ContentBearingObject)s__and__ms__instance(V__EDITION2,s__SetOrClass)s__and__ms__instance(V__INT2,s__PositiveInteger)s__and__ms__instance(V__DATE1,s__Day)s__and__ms__instance(V__INT1,s__PositiveInteger)s__and__ms__instance(V__DATE2,s__Day))
    s__=>(((s__EditionFn(V__TEXT,V__INT1)
        s__equal__mV__EDITION1)s__and__m(s__EditionFn(V__TEXT,V__INT2)
      s__equal__mV__EDITION2)s__and__ms__greaterThan(V__INT2,V__INT1)
    s__and__ms__instance(V__PUB1,s__Publication)s__and__ms__instance(V__PUB2,s__Publication)s__and__ms__instance(V__CBO1,V__EDITION1)
  s__and__ms__instance(V__CBO2,V__EDITION2)
s__and__ms__patient(V__PUB1,V__CBO1)
s__and__ms__patient(V__PUB2,V__CBO2)
s__and__ms__date(V__PUB1,V__DATE1)
s__and__ms__date(V__PUB2,V__DATE2))
s__=>s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))
)

Merge.kif 15632-15649
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
( ∀ [V__AGENT,V__CUST,V__FR,V__PHYS,V__RM,V__R,V__X]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__subclass(V__FR,s__HotelFunctionRoom)s__and__ms__instance(V__FR,s__SetOrClass)s__and__ms__instance(V__PHYS,s__SetOrClass))
    s__=>((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
      s__and__ms__instance(V__RM,V__FR)
    s__and__ms__element(V__RM,s__PropertyFn(V__AGENT))
s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__RM)
s__and__ms__destination(V__R,V__CUST)
s__and__ms__instance(V__X,V__PHYS)
s__and__ms__possesses(V__AGENT,V__X)
s__and__ms__customer(V__CUST,V__AGENT)
s__and__m((s__instance(V__X,s__Process)s__and__m(s__agent(V__X,V__CUST)
s__or__ms__experiencer(V__X,V__CUST)))
s__or__m(s__possesses(V__AGENT,V__X)
s__and__ms__instance(V__X,s__Object)s__and__ms__uses(V__CUST,V__X))))
s__=>s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)))
)

Hotel.kif 810-831
( ∀ [V__O,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL,V__P]
   ((s__instance(V__O,s__Object)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__OBJ,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent))
    s__=>((s__freeRoomAmenity(V__ROOM,V__OBJ)
      s__and__ms__subclass(V__OBJ,s__Object)s__and__ms__instance(V__R,V__ROOM)
    s__and__ms__stays(V__GUEST,V__R)
  s__and__ms__element(V__R,s__PropertyFn(V__HOTEL))
s__and__ms__instance(V__O,V__OBJ)
s__and__ms__located(V__O,V__R)
s__and__ms__instance(V__P,s__Process)s__and__ms__agent(V__P,V__GUEST)
s__and__m(s__patient(V__P,V__O)
s__or__ms__instrument(V__P,V__O)
s__or__ms__resource(V__P,V__O)))
s__=>s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)))
)

Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19121-19132
( ∀ [V__A,V__EO]
   ((s__instance(V__A,s__Accrediting)s__and__ms__patient(V__A,V__EO))
  s__=>s__instance(V__EO,s__EducationalOrganization))
)

Mid-level-ontology.kif 1396-1400
( ∀ [V__A,V__ATTACH,V__S]
   ((s__instance(V__A,s__Anchor)s__and__ms__instance(V__ATTACH,s__Attaching)s__and__ms__instrument(V__ATTACH,V__A)
    s__and__ms__patient(V__ATTACH,V__S))
s__=>s__instance(V__S,s__WaterVehicle))
)

Mid-level-ontology.kif 4716-4722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1426-1439
( ∀ [V__A,V__E,V__F]
   ((s__instance(V__A,s__Herbivore)s__and__ms__agent(V__E,V__A)
    s__and__ms__instance(V__E,s__Eating)s__and__ms__patient(V__E,V__F))
s__=>s__instance(V__F,s__Plant))
)

Mid-level-ontology.kif 17805-17811
( ∀ [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL]
   ((s__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__PAGE,s__WebPage)s__and__ms__instance(V__TRANSFER,s__DataTransfer)s__and__ms__instance(V__SERVER,s__Server)s__and__ms__instance(V__REQUESTING,s__Requesting)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__ms__patient(V__ACCESSING,V__PAGE)
    s__and__ms__agent(V__REQUESTING,V__BROWSER)
  s__and__ms__destination(V__REQUESTING,V__SERVER)
s__and__ms__patient(V__REQUESTING,V__PAGE)
s__and__ms__origin(V__TRANSFER,V__SERVER)
s__and__ms__destination(V__TRANSFER,V__BROWSER)
s__and__ms__patient(V__TRANSFER,V__PAGE)
s__and__ms__subProcess(V__TRANSFER,V__ACCESSING)
s__and__ms__subProcess(V__REQUESTING,V__ACCESSING)
s__and__m(s__EndFn(s__WhenFn(V__REQUESTING))
s__equal__ms__BeginFn(V__INTERVAL))
s__and__m(s__EndFn(s__WhenFn(V__TRANSFER))
s__equal__ms__EndFn(V__INTERVAL)))
s__=>(s__SiteSpeedFn(V__ACCESSING)
s__equal__mV__INTERVAL))
)

UXExperimentalTerms.kif 3954-3979
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1822

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__AGENT2,V__AGENT1,V__OBJECT]
   ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent))
    s__=>((s__exists__m[V__BORROW]
         (s__instance(V__BORROW,s__Borrowing)s__and__ms__agent(V__BORROW,V__AGENT1)
        s__and__ms__origin(V__BORROW,V__AGENT2)
      s__and__ms__patient(V__BORROW,V__OBJECT)))
s__<⇒
(s__exists__m[V__LEND]
   (s__instance(V__LEND,s__Lending)s__and__ms__agent(V__LEND,V__AGENT2)
  s__and__ms__destination(V__LEND,V__AGENT1)
s__and__ms__patient(V__LEND,V__OBJECT)))))
)

Merge.kif 11691-11703 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ∀ [V__AGENT2,V__AGENT1,V__OBJECT]
   ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent))
    s__=>((s__exists__m[V__BUY]
         (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1)
        s__and__ms__origin(V__BUY,V__AGENT2)
      s__and__ms__patient(V__BUY,V__OBJECT)))
s__<⇒
(s__exists__m[V__SELL]
   (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2)
  s__and__ms__destination(V__SELL,V__AGENT1)
s__and__ms__patient(V__SELL,V__OBJECT)))))
)

Merge.kif 11872-11884 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1648-1654 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
( ∀ [V__Send,V__Feedback]
   (s__instance(V__Send,s__Process)s__=>(s__instance(V__Feedback,s__Feedback)s__<⇒
      (s__exists__m[V__RM,V__Process,V__Program]
         (s__instance(V__RM,s__ResourceManagementProgram)s__and__ms__instance(V__Process,s__ComputerProcess)s__and__ms__instance(V__Program,s__SoftwareSystem)s__and__m(s__rMProgram_of(V__RM,V__Program)
        s__and__ms__programRunning(V__Process,V__Program)
      s__and__ms__instance(V__Send,s__DataTransfer)s__and__ms__patient(V__Send,V__Feedback)
    s__and__ms__destination(V__Send,V__RM))))))
)

QoSontology.kif 672-680 An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
( ∀ [V__INJ]
   (s__instance(V__INJ,s__Injuring)s__<⇒
    (s__instance(V__INJ,s__Damaging)s__and__m(s__exists__m[V__ORGANISM]
       (s__instance(V__ORGANISM,s__Organism)s__and__ms__patient(V__INJ,V__ORGANISM)))))
)

Merge.kif 10481-10488 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Creation)s__<⇒
    (s__exists__m[V__PATIENT]
       (s__instance(V__PATIENT,s__Physical)s__and__m(s__patient(V__PROCESS,V__PATIENT)
      s__and__ms__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
s__and__m(s__not__ms__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))))
)

Merge.kif 12727-12734 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Destruction)s__<⇒
    (s__exists__m[V__PATIENT]
       (s__instance(V__PATIENT,s__Physical)s__and__m(s__patient(V__PROCESS,V__PATIENT)
      s__and__ms__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
s__and__m(s__not__ms__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))))
)

Merge.kif 12220-12227 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
( ∀ [V__O,V__ACTOR]
   ((s__instance(V__O,s__ContentBearingPhysical)s__and__ms__instance(V__ACTOR,s__Human))
    s__=>(s__actedIn(V__ACTOR,V__O)
    s__=>(s__exists__m[V__PERF]
       (s__instance(V__PERF,s__DramaticActing)s__and__ms__patient(V__PERF,V__ACTOR)
      s__and__ms__result(V__PERF,V__O)))))
)

Mid-level-ontology.kif 18407-18413
( ∀ [V__OBJ,V__SITE]
   ((s__instance(V__OBJ,s__Object)s__and__ms__instance(V__SITE,s__WebSite))
    s__=>(s__advertisedOn(V__OBJ,V__SITE)
    s__=>(s__exists__m[V__ADVERT]
       (s__instance(V__ADVERT,s__Advertising)s__and__ms__hostedOn(V__ADVERT,V__SITE)
      s__and__ms__patient(V__ADVERT,V__OBJ)))))
)

UXExperimentalTerms.kif 250-256
( ∀ [V__AGR,V__DATE]
   ((s__instance(V__AGR,s__Proposition)s__and__ms__subclass(V__DATE,s__TimePosition)s__and__ms__instance(V__DATE,s__SetOrClass))
    s__=>(s__agreementAdoptionDate(V__AGR,V__DATE)
    s__=>(s__exists__m[V__PROCESS,V__DAY]
       (s__instance(V__DAY,s__TimePosition)s__and__m(s__instance(V__PROCESS,s__Committing)s__and__ms__instance(V__DAY,V__DATE)
      s__and__ms__patient(V__PROCESS,V__AGR)
    s__and__ms__time(V__PROCESS,V__DAY))))))
)

Government.kif 700-707
( ∀ [V__ACTOR,V__VIEWER,V__DRAMA,V__SPEAK]
   ((s__instance(V__ACTOR,s__Agent)s__and__ms__instance(V__VIEWER,s__Agent))
    s__=>((s__attribute(V__ACTOR,s__VoiceActor)s__and__ms__instance(V__DRAMA,s__DramaticActing)s__and__ms__agent(V__DRAMA,V__ACTOR)
      s__and__ms__instance(V__SPEAK,s__LinguisticCommunication)s__and__ms__agent(V__SPEAK,V__ACTOR)
    s__and__ms__subProcess(V__SPEAK,V__DRAMA))
s__=>((s__not__m(s__exists__m[V__S]
     (s__instance(V__S,s__Seeing)s__and__ms__patient(V__S,V__ACTOR)
    s__and__ms__agent(V__S,V__VIEWER))))
s__and__m(s__exists__m[V__H]
(s__instance(V__H,s__Hearing)s__and__ms__patient(V__H,V__ACTOR)
s__and__ms__agent(V__H,V__VIEWER))))))
)

Biography.kif 518-537
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
( ∀ [V__O,V__P]
   (s__instance(V__O,s__Object)s__=>((s__attribute(V__O,V__P)
      s__and__ms__instance(V__P,s__Fingerprint)s__and__m(s__not__ms__instance(V__O,s__Finger)))
  s__=>(s__exists__m[V__PR,V__F]
     (s__instance(V__PR,s__Process)s__and__m(s__instrument(V__PR,V__F)
    s__and__ms__instance(V__F,s__Finger)s__and__ms__attribute(V__F,V__P)
  s__and__ms__patient(V__PR,V__O))))))
)

Mid-level-ontology.kif 10255-10265
No TPTP formula. May not be expressible in strict first order. Merge.kif 17696-17709
( ∀ [V__OFFICER,V__COR]
   (s__instance(V__OFFICER,s__Agent)s__=>((s__attribute(V__OFFICER,V__COR)
      s__and__ms__instance(V__COR,s__CommissionedOfficerRank))
    s__=>(s__exists__m[V__MANAGE,V__PATIENT]
       (s__instance(V__MANAGE,s__Managing)s__and__ms__agent(V__MANAGE,V__OFFICER)
      s__and__ms__patient(V__MANAGE,V__PATIENT)
    s__and__m(s__instance(V__PATIENT,s__MilitaryOrganization)s__or__ms__attribute(V__PATIENT,s__Soldier))))))
)

Military.kif 286-297
( ∀ [V__X]
   ((s__attribute(V__X,s__DutyFree)s__and__ms__instance(V__X,s__Product))
    s__=>(s__not__m(s__exists__m[V__DUTY]
       (s__instance(V__DUTY,s__DutyTax)s__and__ms__patient(V__DUTY,V__X)))))
)

Hotel.kif 1413-1421
( ∀ [V__SELL,V__X]
   (s__instance(V__SELL,s__Process)s__=>((s__attribute(V__X,s__DutyFree)s__and__ms__instance(V__X,s__Store))
      s__=>(s__forall__m[V__OBJ]
         ((s__instance(V__SELL,s__Selling)s__and__ms__patient(V__SELL,V__OBJ)
          s__and__ms__located(V__SELL,V__X)
        s__and__ms__instance(V__OBJ,s__Product))
      s__=>s__attribute(V__OBJ,s__DutyFree)))))
)

Hotel.kif 1423-1434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23664-23677
( ∀ [V__X]
   (s__instance(V__X,s__Agent)s__=>((s__attribute(V__X,s__TravelerAccommodation)s__and__ms__capability(s__RoomCleaningService,s__agent__m,V__X))
    s__=>(s__exists__m[V__MAID,V__HOTELROOM]
       (s__instance(V__MAID,s__CognitiveAgent)s__and__m(s__employs(V__X,V__MAID)
      s__and__ms__attribute(V__MAID,s__Maid)s__and__ms__instance(V__HOTELROOM,s__HotelUnit)s__and__ms__part(V__HOTELROOM,s__PropertyFn(V__X))
  s__and__ms__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
s__and__ms__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))))
)

Hotel.kif 1879-1890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18259-18280
No TPTP formula. May not be expressible in strict first order. Merge.kif 13830-13843
( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Physical))
    s__=>(s__exists__m[V__TRANS]
       (s__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__ITEM)
      s__and__ms__agent(V__TRANS,V__CUST)
    s__and__ms__origin(V__TRANS,V__AGENT)))))
)

Mid-level-ontology.kif 28129-28138
( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Proposition))
    s__=>(s__exists__m[V__TRANS,V__PROC]
       (s__instance(V__PROC,s__Process)s__and__m(s__realization(V__PROC,V__ITEM)
      s__and__ms__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__PROC)
    s__and__ms__origin(V__TRANS,V__AGENT))))))
)

Mid-level-ontology.kif 28140-28149
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SUBSTANCE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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