TreeView Knowledge Base Browser - ViralPartFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ViralPartFn

ViralPartFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1160-1161
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1157-1157	域病毒部分, 1 and Virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1158-1158	域子類病毒部分, 2 and 病毒部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1156-1156	例病毒部分 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1159-1159	範圍病毒部分 and 病毒部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2599-2599
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2598-2598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2597-2597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61718-61718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61717-61717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61716-61716

statement

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1165-1165	例 Virus 和病毒部分的 viral 部分 and 病毒部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1163-1163	部分 Virus 和病毒部分的 viral 部分 and Virus

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