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 1171-1172
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1168-1168 The number 1 argument of cell part is an instance of cell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1169-1169 The number 2 argument of cell part is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1167-1167 Cell part is an instance of binary function
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1170-1170 The range of cell part is an instance of cell part

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 1176-1176 The cell part of a cell and a kind of cell part is an instance of a kind of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1174-1174 The cell part of an object and a kind of cell part is a proper part of the object


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