TreeView Knowledge Base Browser - vaccine

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - vaccine

vaccine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1084-1084	域子類 vaccine, 1 and Vaccine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1085-1085	域子類 vaccine, 2 and Virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1083-1083	例 vaccine and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1087-1087
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1086-1086

antecedent

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

WMD.kif 1089-1103

vaccine Vaccine and Virus 例 Transfer and Vaccination 體驗者 Transfer and AutonomousAgent 例 VaccineI and Vaccine objectTransferred Transfer and VaccineI
有目的 VaccineI and entity VirusI 例 entity and Infecting 體驗者 entity and AutonomousAgent 例 VirusI and Virus objectTransferred entity and VirusI

consequent

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

Medicine.kif 3179-3194

例 Transfer and BreakthroughInfection objectTransferred Transfer and Object 例 Object and ObjectC 體驗者 Transfer and AutonomousAgent
ObjectAX 例 ObjectAX and Vaccination 體驗者 ObjectAX and AutonomousAgent vaccine ObjectACCINECLASS and ObjectC 例 ObjectACCINE and ObjectACCINECLASS objectTransferred ObjectAX and ObjectACCINE 早期何時 ObjectAX and 何時 Transfer

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