TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1541-1543
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	域副作用, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1539-1539	域子類副作用, 1 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1538-1538	例副作用 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4518-4518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4517-4517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4516-4516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52940-52940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52939-52939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52938-52938

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1545-1554

例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC ObjectIS 是服用 ObjectC 的 side effect
模態屬性 attribute AutonomousAgent and ObjectIS and 容易

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3626-3626	頭痛是服用 Adalimumab 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3625-3625	SkinRash 是服用 Adalimumab 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4054-4054	Escitalopram 是服用焦慮的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3785-3785	Nausea 是服用 Bupropion 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4286-4286	PainFn Abdomen 是服用 Cetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4284-4284	頭痛是服用 Cetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4285-4285	Sleepy 是服用 Cetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3603-3603	腹瀉是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3602-3602	頭痛是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3600-3600	Nausea 是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3601-3601	Vomiting 是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3812-3812	腹瀉是服用多西環素的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3811-3811	Nausea 是服用多西環素的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3813-3813	Vomiting 是服用多西環素的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4056-4056	Escitalopram 是服用 FeelingTired 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5619-5619	頭痛是服用 Hydroxychloroquine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5618-5618	Vomiting 是服用 Hydroxychloroquine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4055-4055	Escitalopram 是服用 Insomnia 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5253-5253	腹瀉是服用 Levocetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5252-5252	Vomiting 是服用 Levocetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3699-3699	頭痛是服用 Loratadine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4739-4739	腹瀉是服用 MycophenolicAcid 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4738-4738	Nausea 是服用 MycophenolicAcid 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4052-4052	Escitalopram 是服用 Nausea 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5090-5090	腹瀉是服用 Ondansetron 的 side effect

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: