Needle |
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 908-909 | |
(subclass Needle MedicalDevice) | Medicine.kif 907-907 | 子類 Needle and MedicalDevice |
appearance as argument number 2 |
![]() |
(subclass DecompressionNeedle Needle) | Medicine.kif 6031-6031 | 子類 DecompressionNeedle and Needle |
(termFormat EnglishLanguage Needle "needle") | Medicine.kif 910-910 | 子類 DecompressionNeedle and Needle |
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 912-926 |
consequent |
![]() |
![]() |
![]() |