Covid19 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Covid19

Covid19

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1240-1242	Covid19 对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1243-1243	0.028 是 Covid19 的 disease 死亡
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1245-1245	腹泻是 Covid19 的 disease 病状
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1244-1244	发热是 Covid19 的 disease 病状
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1246-1246	RespiratoryDistress 是 Covid19 的 disease 病状
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1234-1235
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1233-1233	Covid19 是病毒性疾病的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1247-1247	Covid19 是 SARSCoV2 的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1270-1270	medicine Remdesivir and Covid19
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1238-1238
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1236-1236
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1237-1237

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	如果实体是 COVIDAntibody 的 instance 和 Covid19 不是另一个实体的 attribute 和那个实体是那个另外实体的 part 在时间位置 holdsDuring，然后 Covid19 是那个另外实体的 attribute 的声明 has 较不可能的语气在紧接那个时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3003-3011	如果实体是 DeltaCovidVariant 的 instance 和那个实体是另一个实体的 part 和 Covid19 是那个另外实体的 attribute 在实数 holdsDuring，然后那个实数是 greaterThan 十二月 month
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2798-2807	如果 Covid19 是实体的 attribute 在时间位置 holdsDuring，然后另一个实体是 COVIDAntibody 的 instance 和那个另外实体是那个实体的 part 在紧接那个时间位置 after holdsDuring 的声明 has 容易的语气

consequent

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

Medicine.kif 2784-2796

如果实体是 COVIDAntibody 的 instance 和 Covid19 不是另一个实体的 attribute 和那个实体是那个另外实体的 part 在时间位置 holdsDuring，
然后 Covid19 是那个另外实体的 attribute 的声明 has 较不可能的语气在紧接那个时间位置 after holdsDuring

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