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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellPart
CellPart(細胞部分)

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


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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1169-1169 範圍 細胞部分 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1079-1079 子類 細胞內膜組 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 442-442 子類 細胞膜 and 細胞部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10888-10888 子類 細胞核 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 445-445 子類 CellWall and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 577-577 子類 Chromosome and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 596-596 子類 染色質 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 434-434 子類 細胞質 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1049-1049 子類 骨架 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1052-1052 子類 內膜 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 547-547 子類 親水側 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 536-536 子類 疏水面 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 492-492 子類 脂質雙分子層 and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 618-618 子類 Nucleosome and 細胞部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 438-438 子類 蛋白質合成工具 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 1168-1168 域子類 細胞部分, 2 and 細胞部分

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


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