TreeView Knowledge Base Browser - COVIDAntibody

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - COVIDAntibody

COVIDAntibody

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2780-2781
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2779-2779	COVIDAntibody 是抗体的 subclass

appearance as argument number 2

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

Medicine.kif 2782-2782

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	如果客体是 AntibodyCOVIDTest 的 instance 和那个客体是导致过程的 instrument 和那个过程是测量的 instance 和另一个客体是那个过程的 patient 和第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part，然后那个另外客体 knows 有存在那个第三客体这样那个第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part 的声明 has 容易的语气
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

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	如果客体是 AntibodyCOVIDTest 的 instance 和那个客体是导致过程的 instrument 和那个过程是测量的 instance 和另一个客体是那个过程的 patient 和第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part，然后那个另外客体 knows 有存在那个第三客体这样那个第三客体是 COVIDAntibody 的 instance 和那个第三客体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2798-2807	如果 Covid19 是实体的 attribute 在时间位置 holdsDuring，然后另一个实体是 COVIDAntibody 的 instance 和那个另外实体是那个实体的 part 在紧接那个时间位置 after holdsDuring 的声明 has 容易的语气

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