Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

( ! [V__A] :
   (((s__instance(V__A,s__Class) &
         s__subclass(V__A,s__Medicine))
       =>
       ((s__subclass(V__A,s__Antibiotic) =>
           (( ? [V__D] :
               ((s__instance(V__D,s__BacterialDisease) &
                   s__medicine(V__A,V__D))))))))
   )
)

Mid-level-ontology.kif 9044-9049
s__instance(s__BacterialDisease,s__Class)

s__instance(s__InfectiousDisease,s__Class)

s__subclass(s__BacterialDisease,s__InfectiousDisease)

Mid-level-ontology.kif 5481-5481 Bacterial disease is a subclass of infectious disease


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