TreeView Knowledge Base Browser - NerveCell

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NerveCell

NerveCell(神經細胞)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10755-10755
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 138-138
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10754-10754	子類神經細胞 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10753-10753	子類神經細胞 and SomaticCell

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40173-40173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40172-40172
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40171-40171

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10757-10762	例 Object and 神經細胞 Object 例 Object and 神經系統部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15244-15246	例 CorpuscularObject and 神經細胞材料 NervousTissue and CorpuscularObject

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	例 Physical and Stroke 例 Object and 腦位於 Physical and Object Object 例 Object and 神經細胞部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11934-11945	例 Process and Stroke 例 Object and 腦位於 Process and Object Physical Process 例 Physical and 神經細胞位於 Physical and Object 例 Process and Destruction 子過程 Process and Process 患者 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2406-2411	例 Process and MyastheniaGravis 體驗者 Process and AutonomousAgent attribute AutonomousAgent and ImpairedBodyPartFn 神經細胞
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1910-1915	例 Object and Nerve ObjectC 例 ObjectC and 神經細胞部分 ObjectC 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