Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellPart

 Sigma KEE - CellPart
CellPart(細胞部分)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10880-10880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10879-10879 子類 細胞部分 and BodyPart

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1170-1170 範圍 細胞部分 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1080-1080 子類 細胞內膜組 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 443-443 子類 細胞膜 and 細胞部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10889-10889 子類 細胞核 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 446-446 子類 CellWall and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 578-578 子類 Chromosome and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 597-597 子類 染色質 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 435-435 子類 細胞質 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1050-1050 子類 骨架 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1053-1053 子類 內膜 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 548-548 子類 親水側 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 537-537 子類 疏水面 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 493-493 子類 脂質雙分子層 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 619-619 子類 Nucleosome and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 439-439 子類 蛋白質合成工具 and 細胞部分
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13674-13674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13673-13673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13672-13672

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1169-1169 域子類 細胞部分, 2 and 細胞部分

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10882-10887

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1061-1065


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