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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - patient
patient

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order. Merge.kif 2499-2506
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order. Merge.kif 2495-2495 患者, 1 and Process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2496-2496 患者, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2493-2493 患者 and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 2494-2494 患者 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2497-2497 子關係 患者 and 參與活動

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order. english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order. french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order. relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4163-4163 子關係 accountUsed and 患者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23427-23427 子關係 受控 and 患者
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 子關係 數據已處理 and 患者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16265-16265 子關係 被告 and 患者
No TPTP formula. May not be expressible in strict first order. Law.kif 281-281 子關係 defenseLawyer and 患者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6786-6786 子關係 被拘留者 and 患者
No TPTP formula. May not be expressible in strict first order. Law.kif 168-168 子關係 evidence and 患者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15724-15724 子關係 實驗控制 and 患者
No TPTP formula. May not be expressible in strict first order. Merge.kif 2468-2468 子關係 儀器 and 患者
No TPTP formula. May not be expressible in strict first order. Merge.kif 12377-12377 子關係 objectAttached and 患者
No TPTP formula. May not be expressible in strict first order. Merge.kif 12425-12425 子關係 objectDetached and 患者
No TPTP formula. May not be expressible in strict first order. Merge.kif 11331-11331 子關係 objectTransferred and 患者

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26329-26340 Process and Photocopying 患者 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 等於 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20760-20767
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5824-5834
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21495-21506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1010-1014
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6257-6275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4242-4248
No TPTP formula. May not be expressible in strict first order. Medicine.kif 966-975

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. Merge.kif 1601-1607 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20752-20758
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 193-199
No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12537-12547
No TPTP formula. May not be expressible in strict first order. Merge.kif 17332-17345
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-1990
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25748-25761
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29963-29972

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 921-929 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS ?SAMPLE and ?SUBSTANCE ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X and PaperShredder ?CUT and Cutting 儀器 ?CUT and ?X ?PAPER and 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Process Entity Process and Disseminating agent Process and Netflix 患者 Process and Entity Entity and MotionPicture


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 3.0 is open source software produced by Articulate Software and its partners