Needle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Needle EnglishLanguage "A needle is a MedicalDevice intended for Inserting or Removing a Fluid Inside a patient.")	Medicine.kif 920-921
(subclass Needle MedicalDevice)	Medicine.kif 919-919	Needle e' uma sub-classe de MedicalDevice

appearance as argument number 2

(subclass DecompressionNeedle Needle)	Medicine.kif 6045-6045	DecompressionNeedle e' uma sub-classe de Needle
(termFormat EnglishLanguage Needle "needle")	Medicine.kif 922-922

antecedent

(=>
    (instance ?N Needle)
    (hasPurpose ?N
        (exists (?H ?TP ?F ?RI)
            (and
                (instance ?H Animal)
                (instance ?TP TherapeuticProcss)
                (attribute ?F Fluid)
                (patient ?TP ?H)
                (instrument ?TP ?N)
                (or
                    (instance ?RI Removing)
                    (instance ?RI Inserting))
                (subProcess ?RI ?TP)
                (objectTransferred ?RI ?F)))))

Medicine.kif 924-938

Fisico e' uma instancia de Needle
Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de TherapeuticProcss Fluid e' um atributo de Entidade Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Inserting Entidade e' um sub-processo de Entidade objectTransferred Entidade and Entidade

consequent

(=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside))))	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
(=> (instance ?EP EpiPen) (exists (?N ?A) (and (instance ?N Needle) (part ?N ?EP) (instance ?A Adrenaline) (part ?A ?EP))))	Medicine.kif 6361-6368	Objeto e' uma instancia de EpiPen Objeto Objeto Objeto e' uma instancia de Needle Objeto e' uma &parte de Objeto Objeto e' uma instancia de Adrenaline Objeto 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

KB Term:			Term intersection

English Word: