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 2649-2653
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 2641-2648
s__domain(s__patient__m,1,s__Process)

Merge.kif 2638-2638
s__domain(s__patient__m,2,s__Entity)

Merge.kif 2639-2639
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2636-2636
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2637-2637
s__subrelation(s__patient__m,s__involvedInEvent__m)

Merge.kif 2640-2640

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__format(s__FrenchLanguage,s__patient__m,'%2 est %n un patient de %1')

french_format.kif 103-103
s__format(s__ItalianLanguage,s__patient__m,'%2 � %n un paziente di %1')

relations-it.txt 219-219
s__format(s__PortugueseLanguage,s__patient__m,'%2 e %n um patient de %1')

portuguese_format.kif 55-55
s__format(s__ar__m,s__patient__m,'%2 هو %n مُتَلَقٍّ لـ %1')

arabic_format.kif 53-53
s__format(s__cz__m,s__patient__m,'%2 %p{je} %n{nen�} ��astn�kem %1')

relations-cz.txt 85-85
s__format(s__de__m,s__patient__m,'%2 ist ein patient von %1 %n{nicht}')

relations-de.txt 206-206
s__format(s__hi__m,s__patient__m,'%2 %1 kaa karma %n hai')

relations-hindi.txt 257-257
s__format(s__tg__m,s__patient__m,'%2 %n ay sumasali ng %1')

relations-tg.txt 411-411
s__subrelation(s__controlled__m,s__patient__m)

Mid-level-ontology.kif 21307-21307
s__subrelation(s__dataProcessed__m,s__patient__m)

QoSontology.kif 1853-1853
s__subrelation(s__defendant__m,s__patient__m)

Mid-level-ontology.kif 13911-13911
s__subrelation(s__defenseLawyer__m,s__patient__m)

Law.kif 320-320
s__subrelation(s__detainee__m,s__patient__m)

Mid-level-ontology.kif 6445-6445
s__subrelation(s__evidence__m,s__patient__m)

Law.kif 210-210
s__subrelation(s__experimentalControl__m,s__patient__m)

Mid-level-ontology.kif 13375-13375
s__subrelation(s__instrument__m,s__patient__m)

Merge.kif 2606-2606
s__subrelation(s__objectTransferred__m,s__patient__m)

Mid-level-ontology.kif 27534-27534
s__subrelation(s__resource__m,s__patient__m)

Merge.kif 2655-2655
s__subrelation(s__resourceUsed__m,s__patient__m)

QoSontology.kif 1963-1963
s__subrelation(s__result__m,s__patient__m)

Merge.kif 2700-2700
s__subrelation(s__targetInAttack__m,s__patient__m)

Mid-level-ontology.kif 6451-6451
s__subrelation(s__transported__m,s__patient__m)

Mid-level-ontology.kif 20707-20707
s__subrelation(s__victim__m,s__patient__m)

Law.kif 297-297

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__AGENT1,V__AGENT2,V__OBJECT]
   ((∃ [V__BORROW]
       (s__instance(V__BORROW,s__Borrowing) ∧
         s__agent(V__BORROW,V__AGENT1)
       ∧
       s__origin(V__BORROW,V__AGENT2)
     ∧
     s__patient(V__BORROW,V__OBJECT)))
<⇒
(∃ [V__LEND]
(s__instance(V__LEND,s__Lending) ∧
   s__agent(V__LEND,V__AGENT2)

s__destination(V__LEND,V__AGENT1)

s__patient(V__LEND,V__OBJECT))))
)

Merge.kif 11633-11645
( ∀ [V__AGENT1,V__AGENT2,V__OBJECT]
   ((∃ [V__BUY]
       (s__instance(V__BUY,s__Buying) ∧
         s__agent(V__BUY,V__AGENT1)
       ∧
       s__origin(V__BUY,V__AGENT2)
     ∧
     s__patient(V__BUY,V__OBJECT)))
<⇒
(∃ [V__SELL]
(s__instance(V__SELL,s__Selling) ∧
   s__agent(V__SELL,V__AGENT2)

s__destination(V__SELL,V__AGENT1)

s__patient(V__SELL,V__OBJECT))))
)

Merge.kif 11814-11826
( ∀ [V__REGION]
   ((∃ [V__EMIT]
       (s__instance(V__EMIT,s__RadiatingLight) ∧
         s__patient(V__EMIT,V__REGION)
       ∧
       s__instance(V__REGION,s__Region)))
   <⇒
   s__attribute(V__REGION,s__Illuminated))
)

Merge.kif 13569-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18357-18364
( ∀ [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money]
   ((s__agent(V__Purchase,V__Buyer)
     ∧
     s__origin(V__Purchase,V__Seller)
   ∧
   s__patient(V__Purchase,V__Object)

s__monetaryValue(V__Object,V__Money))

(∃ [V__Payment]
(s__subProcess(V__Payment,V__Purchase)

s__instance(V__Payment,s__Payment) ∧
s__transactionAmount(V__Payment,V__Money)

s__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__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA]
   ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
     ∧
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   ∧
   s__instance(V__FORMULA,s__Formula) ∧
   s__patient(V__EXPERIMENT,V__FORMULA)

(V__CONFIDENCE = 100))

s__truth(V__FORMULA,'$false__m'))
)

UXExperimentalTerms.kif 680-687
( ∀ [V__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA]
   ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
     ∧
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   ∧
   s__instance(V__FORMULA,s__Formula) ∧
   s__patient(V__EXPERIMENT,V__FORMULA)

(V__CONFIDENCE = 100))

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__instance(V__MSG,s__Messaging) ∧
     s__patient(V__MSG,V__M)
   ∧
   s__instance(V__TELEX,s__Telex))

(∃ [V__PROC,V__TEXT]
   (s__instrument(V__PROC,V__TELEX)
   ∧
   s__result(V__PROC,V__TEXT)

s__represents(V__TEXT,V__M)

s__instance(V__TEXT,s__Text) ∧
s__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC))))))
)

Communications.kif 202-214
( ∀ [V__TEXT,V__INT1,V__EDITION1,V__INT2,V__EDITION2,V__PUB1,V__PUB2,V__CBO1,V__CBO2,V__DATE1,V__DATE2]
   (((s__EditionFn(V__TEXT,V__INT1)
       = V__EDITION1)
     ∧
     (s__EditionFn(V__TEXT,V__INT2)
     = V__EDITION2)
   ∧
   s__greaterThan(V__INT2,V__INT1)

s__instance(V__PUB1,s__Publication) ∧
s__instance(V__PUB2,s__Publication) ∧
s__instance(V__CBO1,V__EDITION1)

s__instance(V__CBO2,V__EDITION2)

s__patient(V__PUB1,V__CBO1)

s__patient(V__PUB2,V__CBO2)

s__date(V__PUB1,V__DATE1)

s__date(V__PUB2,V__DATE2))

s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2)))
)

Merge.kif 15574-15591
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
( ∀ [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X]
   ((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
     ∧
     s__instance(V__RM,V__FR)
   ∧
   s__element(V__RM,s__PropertyFn(V__AGENT))

s__instance(V__R,s__Renting) ∧
s__patient(V__R,V__RM)

s__destination(V__R,V__CUST)

s__instance(V__X,V__PHYS)

s__possesses(V__AGENT,V__X)

s__customer(V__CUST,V__AGENT)

((s__instance(V__X,s__Process) ∧
(s__agent(V__X,V__CUST)

s__experiencer(V__X,V__CUST)))

(s__possesses(V__AGENT,V__X)

s__instance(V__X,s__Object) ∧
s__uses(V__CUST,V__X))))

s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ∀ [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P]
   ((s__freeRoomAmenity(V__ROOM,V__OBJ)
     ∧
     s__subclass(V__OBJ,s__Object) ∧
     s__instance(V__R,V__ROOM)
   ∧
   s__stays(V__GUEST,V__R)

s__element(V__R,s__PropertyFn(V__HOTEL))

s__instance(V__O,V__OBJ)

s__located(V__O,V__R)

s__instance(V__P,s__Process) ∧
s__agent(V__P,V__GUEST)

(s__patient(V__P,V__O)

s__instrument(V__P,V__O)

s__resource(V__P,V__O)))

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 19063-19074
( ∀ [V__A,V__EO]
   ((s__instance(V__A,s__Accrediting) ∧
       s__patient(V__A,V__EO))
   ⇒
   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__instance(V__ATTACH,s__Attaching) ∧
       s__instrument(V__ATTACH,V__A)
     ∧
     s__patient(V__ATTACH,V__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__FIELDOFSTUDY,V__SCHOOL,V__H]
   ((s__instance(V__A,s__AwardingADegree) ∧
       s__patient(V__A,s__DegreeFn(V__FIELDOFSTUDY,V__SCHOOL)))

(s__instance(V__H,s__Human) ∧
   s__agent(V__A,V__SCHOOL)

s__destination(V__A,V__H)))
)

LinkedInDegrees.kif 86-93
( ∀ [V__A,V__E,V__F]
   ((s__instance(V__A,s__Herbivore) ∧
       s__agent(V__E,V__A)
     ∧
     s__instance(V__E,s__Eating) ∧
     s__patient(V__E,V__F))

s__instance(V__F,s__Plant))
)

Mid-level-ontology.kif 17747-17753
( ∀ [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL]
   ((s__instance(V__ACCESSING,s__AccessingWebPage) ∧
       s__instance(V__PAGE,s__WebPage) ∧
       s__instance(V__TRANSFER,s__DataTransfer) ∧
       s__instance(V__SERVER,s__Server) ∧
       s__instance(V__REQUESTING,s__Requesting) ∧
       s__instance(V__BROWSER,s__WebBrowser) ∧
       s__instance(V__INTERVAL,s__TimeInterval) ∧
       s__patient(V__ACCESSING,V__PAGE)
     ∧
     s__agent(V__REQUESTING,V__BROWSER)
   ∧
   s__destination(V__REQUESTING,V__SERVER)

s__patient(V__REQUESTING,V__PAGE)

s__origin(V__TRANSFER,V__SERVER)

s__destination(V__TRANSFER,V__BROWSER)

s__patient(V__TRANSFER,V__PAGE)

s__subProcess(V__TRANSFER,V__ACCESSING)

s__subProcess(V__REQUESTING,V__ACCESSING)

(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))

(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))

(s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL))
)

UXExperimentalTerms.kif 3954-3979

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__AGENT1,V__AGENT2,V__OBJECT]
   ((∃ [V__BORROW]
       (s__instance(V__BORROW,s__Borrowing) ∧
         s__agent(V__BORROW,V__AGENT1)
       ∧
       s__origin(V__BORROW,V__AGENT2)
     ∧
     s__patient(V__BORROW,V__OBJECT)))
<⇒
(∃ [V__LEND]
(s__instance(V__LEND,s__Lending) ∧
   s__agent(V__LEND,V__AGENT2)

s__destination(V__LEND,V__AGENT1)

s__patient(V__LEND,V__OBJECT))))
)

Merge.kif 11633-11645
( ∀ [V__AGENT1,V__AGENT2,V__OBJECT]
   ((∃ [V__BUY]
       (s__instance(V__BUY,s__Buying) ∧
         s__agent(V__BUY,V__AGENT1)
       ∧
       s__origin(V__BUY,V__AGENT2)
     ∧
     s__patient(V__BUY,V__OBJECT)))
<⇒
(∃ [V__SELL]
(s__instance(V__SELL,s__Selling) ∧
   s__agent(V__SELL,V__AGENT2)

s__destination(V__SELL,V__AGENT1)

s__patient(V__SELL,V__OBJECT))))
)

Merge.kif 11814-11826
No TPTP formula. May not be expressible in strict first order. Merge.kif 1636-1642
( ∀ [V__Feedback,V__Send]
   (s__instance(V__Feedback,s__Feedback) <⇒
     (∃ [V__RM,V__Process,V__Program]
       (s__rMProgram_of(V__RM,V__Program)
       ∧
       s__programRunning(V__Process,V__Program)
     ∧
     s__instance(V__Send,s__DataTransfer) ∧
     s__patient(V__Send,V__Feedback)
   ∧
   s__destination(V__Send,V__RM))))
)

QoSontology.kif 657-665
( ∀ [V__INJ]
   (s__instance(V__INJ,s__Injuring) <⇒
     (s__instance(V__INJ,s__Damaging) ∧
       (∃ [V__ORGANISM]
         (s__instance(V__ORGANISM,s__Organism) ∧
           s__patient(V__INJ,V__ORGANISM)))))
)

Merge.kif 10423-10430
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Creation) <⇒
     (∃ [V__PATIENT]
       (s__patient(V__PROCESS,V__PATIENT)
       ∧
       s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))

s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))
)

Merge.kif 12669-12676
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Destruction) <⇒
     (∃ [V__PATIENT]
       (s__patient(V__PROCESS,V__PATIENT)
       ∧
       s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))

s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))
)

Merge.kif 12162-12169
( ∀ [V__ACTOR,V__O]
   (s__actedIn(V__ACTOR,V__O)
   ⇒
   (∃ [V__PERF]
     (s__instance(V__PERF,s__DramaticActing) ∧
       s__patient(V__PERF,V__ACTOR)
     ∧
     s__result(V__PERF,V__O))))
)

Mid-level-ontology.kif 18349-18355
( ∀ [V__OBJ,V__SITE]
   (s__advertisedOn(V__OBJ,V__SITE)
   ⇒
   (∃ [V__ADVERT]
     (s__instance(V__ADVERT,s__Advertising) ∧
       s__hostedOn(V__ADVERT,V__SITE)
     ∧
     s__patient(V__ADVERT,V__OBJ))))
)

UXExperimentalTerms.kif 250-256
( ∀ [V__AGR,V__DATE]
   (s__agreementAdoptionDate(V__AGR,V__DATE)
   ⇒
   (∃ [V__PROCESS,V__DAY]
     (s__instance(V__PROCESS,s__Committing) ∧
       s__instance(V__DAY,V__DATE)
     ∧
     s__patient(V__PROCESS,V__AGR)
   ∧
   s__time(V__PROCESS,V__DAY))))
)

Government.kif 700-707
( ∀ [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER]
   ((s__attribute(V__ACTOR,s__VoiceActor) ∧
       s__instance(V__DRAMA,s__DramaticActing) ∧
       s__agent(V__DRAMA,V__ACTOR)
     ∧
     s__instance(V__SPEAK,s__LinguisticCommunication) ∧
     s__agent(V__SPEAK,V__ACTOR)
   ∧
   s__subProcess(V__SPEAK,V__DRAMA))

((¬ (∃ [V__S]
     (s__instance(V__S,s__Seeing) ∧
       s__patient(V__S,V__ACTOR)
     ∧
     s__agent(V__S,V__VIEWER))))

(∃ [V__H]
(s__instance(V__H,s__Hearing) ∧
s__patient(V__H,V__ACTOR)

s__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__attribute(V__O,V__P)
     ∧
     s__instance(V__P,s__Fingerprint) ∧
     (¬ s__instance(V__O,s__Finger)))
   ⇒
   (∃ [V__PR,V__F]
     (s__instrument(V__PR,V__F)
     ∧
     s__instance(V__F,s__Finger) ∧
     s__attribute(V__F,V__P)
   ∧
   s__patient(V__PR,V__O))))
)

Mid-level-ontology.kif 10255-10265
No TPTP formula. May not be expressible in strict first order. Merge.kif 17644-17657
( ∀ [V__OFFICER,V__COR]
   ((s__attribute(V__OFFICER,V__COR)
     ∧
     s__instance(V__COR,s__CommissionedOfficerRank))
   ⇒
   (∃ [V__MANAGE,V__PATIENT]
     (s__instance(V__MANAGE,s__Managing) ∧
       s__agent(V__MANAGE,V__OFFICER)
     ∧
     s__patient(V__MANAGE,V__PATIENT)
   ∧
   (s__instance(V__PATIENT,s__MilitaryOrganization) ∨
     s__attribute(V__PATIENT,s__Soldier)))))
)

Military.kif 286-297
( ∀ [V__X]
   ((s__attribute(V__X,s__DutyFree) ∧
       s__instance(V__X,s__Product))
     ⇒
     (¬ (∃ [V__DUTY]
         (s__instance(V__DUTY,s__DutyTax) ∧
           s__patient(V__DUTY,V__X)))))
)

Hotel.kif 1413-1421
( ∀ [V__X,V__SELL]
   ((s__attribute(V__X,s__DutyFree) ∧
       s__instance(V__X,s__Store))
     ⇒
     (∀ [V__OBJ]
       ((s__instance(V__SELL,s__Selling) ∧
           s__patient(V__SELL,V__OBJ)
         ∧
         s__located(V__SELL,V__X)
       ∧
       s__instance(V__OBJ,s__Product))
     ⇒
     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 23584-23597
( ∀ [V__X]
   ((s__attribute(V__X,s__TravelerAccommodation) ∧
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   ⇒
   (∃ [V__MAID,V__HOTELROOM]
     (s__employs(V__X,V__MAID)
     ∧
     s__attribute(V__MAID,s__Maid) ∧
     s__instance(V__HOTELROOM,s__HotelUnit) ∧
     s__part(V__HOTELROOM,s__PropertyFn(V__X))

s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)

s__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 18201-18222
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13785
( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     ∧
     s__instance(V__ITEM,s__Physical))
   ⇒
   (∃ [V__TRANS]
     (s__instance(V__TRANS,s__Buying) ∧
       s__patient(V__TRANS,V__ITEM)
     ∧
     s__agent(V__TRANS,V__CUST)
   ∧
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28049-28058
( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     ∧
     s__instance(V__ITEM,s__Proposition))
   ⇒
   (∃ [V__TRANS,V__PROC]
     (s__realization(V__PROC,V__ITEM)
     ∧
     s__instance(V__TRANS,s__Buying) ∧
     s__patient(V__TRANS,V__PROC)
   ∧
   s__origin(V__TRANS,V__AGENT))))
)

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


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