NerveCell - Sigma Knowledge base Browser

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 10754-10754
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 10753-10753	NerveCell e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10752-10752	NerveCell e' uma sub-classe de 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 10756-10761	Objeto e' uma instancia de NerveCell Objeto Objeto e' uma instancia de NervousSystem Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15266-15268	Objeto Corpuscular e' uma instancia de NerveCell NervousTissue e' feito de Objeto Corpuscular

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	Fisico e' uma instancia de Stroke Objeto e' uma instancia de Brain Fisico e' situado em Objeto Objeto Objeto e' uma instancia de NerveCell Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11933-11944	Processo e' uma instancia de Stroke Objeto e' uma instancia de Brain Processo e' situado em Objeto Fisico Processo Fisico e' uma instancia de NerveCell Fisico e' situado em Objeto Processo e' uma instancia de Destrucao Processo e' um sub-processo de Processo Fisico e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2406-2411	Processo e' uma instancia de MyastheniaGravis AutonomousAgent experimenta Processo ImpairedBodyPartFn NerveCell e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1910-1915	Objeto e' uma instancia de Nerve ObjetoC ObjetoC e' uma instancia de NerveCell ObjetoC e' uma &parte de Objeto

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