TreeView Knowledge Base Browser - CellPartFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CellPartFn

CellPartFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1172-1173
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1169-1169	域細胞部分, 1 and Cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1170-1170	域子類細胞部分, 2 and 細胞部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1168-1168	例細胞部分 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1171-1171	範圍細胞部分 and 細胞部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 400-400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 399-399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 398-398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13680-13680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13679-13679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13678-13678

statement

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1177-1177	例 Cell 和細胞部分的 cell 部分 and 細胞部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1175-1175	適當的部分 Object 和細胞部分的 cell 部分 and Object

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